Formalizing Space Shuttle Software Requirements: Four Case Studies.
Judith CrowBen L. Di VitoPublished in: ACM Trans. Softw. Eng. Methodol. (1998)
Keyphrases
- space shuttle
- software requirements
- case study
- software development
- development process
- systems development
- requirements specification
- functional requirements
- software systems
- space station
- requirements engineering
- lessons learned
- knowledge based systems
- fault detection
- software architecture
- software engineering
- metamodel
- literature review
- open source
- high reliability
- software design
- knowledge base
- real world
- databases
- design process
- access control
- source code
- knowledge management
- computational intelligence
- information technology