 |
Hallmark Features
|
- Informal and formal specification methods for requirements and designs, including tables, data flow diagrams, real-time logic, and state machines.
- Covers principal software architectures, from cyclic executive, to object-oriented, to standard process-based.
- Predicting program execution times
- Comprehensive project on air traffic control
|