Design Methods for Reactive Systems: Yourdon, Statemate, and the UML (The Morgan Kaufmann Series in Software Engineering and Programming)

Wieringa, R. J.

ISBN 10: 1558607552 / ISBN 13: 9781558607552

Published by Morgan Kaufmann, 2003

About this Item

The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing.

Seller Inventory # BSM.1410C

Bibliographic Details

• Title: Design Methods for Reactive Systems: Yourdon, Statemate, and the UML (The Morgan Kaufmann Series in Software Engineering and Programming)
• Publisher: Morgan Kaufmann
• Publication Date: 2003
• Language: English
• ISBN 10: 1558607552
• ISBN 13: 9781558607552
• Binding: Hardcover
• Condition: good

About this title

Synopsis

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, non-trivial behavior, and communication between different components―aspects traditionally treated separately by classic software design methodologies. But, as this book illustrates, the software designer is better served by the ability to intelligently pick and choose from among a variety of techniques according to the particular demands and properties of the system under development.Design Methods for Reactive Systems helps the software designer meet today's increasingly complex challenges by bringing together specification techniques and guidelines proven useful in the design of a wide range of software systems, allowing the designer to evaluate and adapt different techniques for different projects. Written in an exceptionally clear and insightful style, Design Methods for Reactive Systems is a book that students, engineers, teachers, and researchers will undoubtedly find of great value.

• Shows how the techniques and design approaches of the three most popular design methods can be combined in a flexible, problem-driven manner.
• Pedagogical features include summaries, rehearsal questions, exercises, discussion questions, and numerous case studies.

About the Author

Roel Wieringa is professor in the Department of Computer Science at the University of Twente, The Netherlands. He is author of Requirements Engineering (Wiley) and has edited several other books and published over 50 papers on software design methods. He has been involved in several national and international research projects with academia and industry in the area of requirements specification, distributed information systems, and software design methods.