Design methods for reactive systems : Yourdan, Statemate, and the UML /
Design Methods for Reactive Systems describes methods and techniques for the design of software systemsparticularly reactive software systems that engage in stimulus-response behavior. Such systems, which include information systems, workflow management systems, systems for e-commerce, production co...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Boston :
Morgan Kaufmann Publishers,
2003.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book Publisher description Table of contents |
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 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.