1 Real-time requirements Intro to Software Engineering Software Development Process Models Formal methods in software specification Structured Analysis Object-oriented analysis and the UML
2 Context diagram Inertial Measurement System
3 Data Flow / Control Flow Diagram Level 0 DFD for the inertial measurement system. The dashed arcs represent control flow in the system.
4 Structured Analysis Structured Design DFD 1: Gyro torquing.
5 Structured Analysis Structured Design PSPECs for DFD 1: Torque gyros.
6 State Transition Diagram Microwave oven model
7 Entity-Relationship Diagram Department Manager Employee manages is managed by has works in one to one relationship one to many relationship
8 Entity-Relationship Diagram Semantic Data model of a Software design