Test-Linked Specification For Safety-Critical Software.
Herbert HechtMyron HechtPublished in: HICSS (5) (1997)
Keyphrases
- safety critical
- formal methods
- safety analysis
- nuclear power plant
- embedded systems
- fault tolerant
- agent architecture
- regulatory requirements
- support systems
- adaptive systems
- artificial intelligence
- software intensive systems
- test cases
- high level
- formal specification
- machine learning
- software systems
- model checking
- knowledge based systems
- case study
- learning systems
- knowledge acquisition
- open source
- low cost
- expert systems
- multi agent systems
- cooperative