Design methods for reactive systems : Yourdon, statemate, and the UML
Roelf J. Wieringa · University of Twente Research Information · 2003
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.