The SSP: An Example of High-Assurance Systems Engineering.
Gregory L. WickstromJared DavisSteven E. MorrisonSteve RoachVictor L. WinterPublished in: HASE (2004)
Keyphrases
- systems engineering
- high assurance
- software systems
- software engineering
- operating system
- fault tolerant
- access control
- distributed systems
- systems development
- topics covered include
- requirements engineering
- industrial applications
- web information systems
- knowledge extraction
- computational modeling
- artificial intelligence
- intelligent decision making
- design thinking
- computational biology
- database
- software development
- information systems
- cognitive science
- knowledge based systems
- information retrieval
- data mining