1. 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. 2 Context diagram Inertial Measurement System

3. 3 Data Flow / Control Flow Diagram Level 0 DFD for the inertial measurement system. The dashed arcs represent control flow in the system.

4. 4 Structured Analysis  Structured Design DFD 1: Gyro torquing.

5. 5 Structured Analysis  Structured Design PSPECs for DFD 1: Torque gyros.

6. 6 State Transition Diagram Microwave oven model

7. 7 Entity-Relationship Diagram http://members.iinet.net.au/~lonsdale/docs/erd.pdf Department Manager Employee manages is managed by has works in one to one relationship one to many relationship

8. 8 Entity-Relationship Diagram Semantic Data model of a Software design