Formal Modeling of Space Shuttle Software Change Requests using SCR.
Virginie WielsSteve M. EasterbrookPublished in: RE (1999)
Keyphrases
- space shuttle
- modeling language
- space station
- requirements specification
- software development
- software architecture
- software systems
- artificial intelligence
- case based reasoning
- user interface
- web services
- real time
- embedded systems
- software tools
- software developers
- knowledge base
- software design
- software package
- information systems
- neural network