Design Methods for Reactive Systems

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.

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.