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

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.