Completeness, Robustness, and Safety in Real-Time Software Requirements Specification.
Matthew S. JaffeNancy G. LevesonPublished in: ICSE (1989)
Keyphrases
- requirements specification
- real time
- requirements engineering
- software requirements
- software engineering
- software systems
- specification language
- safety critical
- development process
- activity diagrams
- software design
- software development
- control system
- control center
- database
- goal oriented
- embedded systems
- systems development
- computer systems
- air traffic
- general purpose