Design Methods for Reactive Systems: Yourdon, Statemate, and the UML

Other | January 1, 2003

byWieringa, R. J., R. J. Wieringa

not yet rated|write a review
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, with additional examples on the companion Web site.

Pricing and Purchase Info

$102.09 online
$132.55 list price (save 22%)
In stock online
Ships free on orders over $25

From the Publisher

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...

Roel Wieringa is professor in the Department of Computer Science at the University of Twente, The Netherlands. He is author ofRequirements 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 acade...

other books by Wieringa, R. J.

These Are The Names
These Are The Names

Hardcover|Nov 8 2016

$30.71 online$33.99list price(save 9%)
Joe Speedboat
Joe Speedboat

Paperback|Apr 8 2010

$19.53 online$21.95list price(save 11%)
The Sexual History of the Global South: Sexual Politics in Africa, Asia and Latin America
The Sexual History of the Global South: Sexual Politics...

Kobo ebook|Apr 11 2013

$36.39 online$47.18list price(save 22%)
see all books by Wieringa, R. J.
Format:OtherDimensions:500 pages, 1 × 1 × 1 inPublished:January 1, 2003Publisher:Morgan KaufmannLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0080503950

ISBN - 13:9780080503950

Customer Reviews of Design Methods for Reactive Systems: Yourdon, Statemate, and the UML

Reviews

Extra Content

Table of Contents

Foreword. Preface.PART I Reactive System Design:Reactive Systems; The Environment; Stimulus-Response Behavior; Software Specifications.PART II Function Notations:Mission Statement; Function Refinement Tree; Service Description.PART III Entity Notations:Entity-Relationship Diagrams; ERD Modeling Guidelines; The Dictionary.PART IV Behavior NotationsState Transition Lists and Tables; State Transition Diagrams; Behavioral Semantics; Behavior Modeling and Design Guidelines.PART V Communication Notations:Data Flow Diagrams; Communication Diagrams; Communication Semantics; Context Modeling Guidelines; Requirements-Level Decomposition Guidelines.PART VI Software Specification Methods:Postmodern Structured Analysis (PSA); Statemate; The Unified Modeling Language (UML); Not Yet Another Method (NYAM). Appendices: Training Information System; An Electronic Ticket System; A Heating Control System; An Elevator Control System; Answers to Selected Exercises; Glossary; Bibliographic Remarks; Bibliography; Index.Online Materials (www.mkp.com/dmrs/):(continued) Answers to Selected Exercises (pass protected); A Controller for a Compact Dynamic Bus Station; A Cruise Control System; A Logistics Information System; Slides for Teachers; Handout of the Slides; Notes for Teachers.