Wieringa R J > Compare Discount Book Prices & Save up to 90%

Deontic Logic in Computer Science(1st Edition)
Normative System Specification
by Roel J. Wieringa, R. J. Wieringa, J. J. Meyer
Hardcover, 332 Pages, Published 1994 by Wiley
ISBN-13: 978-0-471-93743-2, ISBN: 0-471-93743-6

"Deontic logic originated from the philosophy of law as an attempt to formalize legal reasoning. This book draws on the experience of researchers—in fields as diverse as artificial intelligence, linguistics, computer system specification and law—who have discovered the benefits of deontic logic when applied to solving computer science problems. Application areas range from legal expert systems to natural language processing, database int ..."

The Morgan Kaufmann Series in Software Engineering and Programming Ser.
Design Methods for Reactive Systems : Yourdon, Statemate, and the UML
by R. J. Wieringa
500 Pages, Published 2003 by Elsevier
ISBN-13: 978-0-08-050395-0, ISBN: 0-08-050395-0

"Entity-relationship modeling was introduced by Chen (1976). It was introduced in structured analysis by Flavin (1981) and had a pervasive influence on object- oriented analysis, starting with Shlaer and Mellor (1988). Batini, Ceri, and Navathe (1992) give a good book-length introduction to entity-relationship diagrams. Elmasri and Navathe (1989) give a shorter introduction in two chapters . These and other authors define entities in ..."

Procedure Writing(2nd Edition)
Principles and Practices
by Douglas Wieringa, R. J. Wieringa, Christopher Moore, Valerie Barnes
Paperback, 243 Pages, Published 1999 by Wiley-Ieee Press
ISBN-13: 978-0-7803-5368-8, ISBN: 0-7803-5368-4

"A reference for the procedure writer, whether these are business procedures, procedures for ISO9000 compliance, plant procedures or safety procedures. It presents the principles that underlie effective procedures and explains these principles in simple terms."

Vitamin A and Carotenoids(1st Edition)
Chemistry, Analysis, Function and Effects (Food and Nutritional Components in Focus)
by Victor R. Preedy, M. Petkovich, T. Miyazawa, Beatrice Albertini, V. Baskaran, T. Bohn, L. Jia, Alessandra. Gentili, Gerald Woollard, J. Lin, C. Tode, Anita Oberholster, Alam Zeb, D. Antonacci, Teresa Barber, Charles B. Stephensen, N. A. Patel, Ewa Czeczuga-Semeniuk, M. K. Kim, J. S. Khillan, B. Chauveau-Duriot, F. Granado-Lorencio, H. K. Biesalski, Frank Wieringa, J. L. Napoli, C. V. Mello, Ronda Greaves
Hardcover, 608 Pages, Published 2012 by Royal Society Of Chemistry
ISBN-13: 978-1-84973-368-7, ISBN: 1-84973-368-6

"Vitamin A has an important role to play in vision, bone growth, reproduction, cell division, and cell differentiation. With the focus on Vitamin A and Carotenoids, this book includes the latest research in these areas and starts with an overview putting the compounds in context with other vitamins, supplementation and discussing the importance of beta-carotene. Details of the chemistry, structure and biochemistry of the compounds begi ..."

Design Methods for Reactive Systems(1st Edition)
Yourdon, Statemate, and the UML (The Morgan Kaufmann Series in Software Engineering and Programming)
by Roel J. Wieringa, Michael Jackson
Hardcover, 500 Pages, Published 2003 by Morgan Kaufmann
ISBN-13: 978-1-55860-755-2, ISBN: 1-55860-755-2

"Design Methods for Reactive Systems describes methods and techniques for the design of software systems-particularly reactive software systems that engage in stimulus-response behavior. Such systems, which include information systems, workflow management systems, systems for e-commerce, production control systems, and embedded software, increasingly embody design aspects previously considered alone-such as complex information processing ..."

Requirements Engineering(1st Edition)
Frameworks for Understanding
by Roel J. Wieringa
Paperback, 470 Pages, Published 1996 by Wiley
ISBN-13: 978-0-471-95884-0, ISBN: 0-471-95884-0

"This practical guide describes the methods used for determining computer system requirements. Designed to enable readers to navigate the maze of techniques utilized at different stages of software development—from requirements determination to implementation and maintenance."

Information Systems-Correctness and Reusability - Selected Papers Form the Is-Core Workshop
by Roel J. Wieringa, R. B. Feenstra, R.B. Feestra, Remco B. Feenstra
Hardcover, 300 Pages, Published 1995 by World Scientific Publishing Company
ISBN-13: 978-981-02-2240-6, ISBN: 981-02-2240-8

"This volume contains papers on formal system specification. The chapters treat algebraic specification, temporal logic specification, default specifications and deontic logic specification. Applications include information systems, distributed systems, and real-time systems. One of the major themes in the book is the motivation to bring formal specification techniques one step further towards realistic applications."

Digital Business Ecosystems
by R.J. Wieringa; J. Gordijn
Hardcover, Published 2023 by Tve Press
ISBN-13: 978-90-828524-5-5, ISBN: 90-828524-5-4

Procedure Writing(2nd Edition)
Principles and Practices
by Douglas Wieringa, Valerie Elizabeth Barnes, Christopher J. Moore
Paperback, 232 Pages, Published 1998 by Battelle Press
ISBN-13: 978-1-57477-052-0, ISBN: 1-57477-052-7

"New edition of a guide for instruction (procedure) writers. Covers writing basic steps, step syntax, choosing an appropriate level of detail, emphasis techniques, writing complex steps, logic tables, warnings, cross-references, and flowcharts. Intended for technical and procedure writers. Annotation c. by Book News, Inc., Portland, Or."

Procedure Writing(1st Edition)
Principles and Practices
by Douglas Wieringa, Christopher J. Moore, Valerie Elizabeth Barnes
Paperback, 219 Pages, Published 1993 by Battelle Pr
ISBN-13: 978-0-935470-68-0, ISBN: 0-935470-68-9

Design Science Methodology for Information Systems and Software Engineering(Reprint)
by Roel J. Wieringa
Paperback, 332 Pages, Published 2016 by Springer
ISBN-13: 978-3-662-52446-6, ISBN: 3-662-52446-5

"This book provides guidelines for practicing design science in the fields of information systems and software engineering research. A design process usually iterates over two activities: first designing an artifact that improves something for stakeholders and subsequently empirically investigating the performance of that artifact in its context. This “validation in context” is a key feature of the book - since an artifact is designed fo ..."

Design Science Methodology for Information Systems and Software Engineering
by Roel J. Wieringa
Hardcover, 332 Pages, Published 2014 by Springer
ISBN-13: 978-3-662-43838-1, ISBN: 3-662-43838-0

"This book provides guidelines for practicing design science in the fields of information systems and software engineering research. A design process usually iterates over two activities: first designing an artifact that improves something for stakeholders and subsequently empirically investigating the performance of that artifact in its context. This "validation in context" is a key feature of the book - since an artifact is designed fo ..."

Books by Wieringa