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

Describes methods and techniques for the design of software systems - particularly reactive software systems that engage in stimulus-response behavior. This work helps the software designer meet the challenges by presenting specification techniques and guidelines - allowing the designer to evaluate 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. This work 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.

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