Specification reuse for safety-critical software.
Claire P. WillisDerek J. PaddonPublished in: SEKE (1994)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- nuclear power plant
- agent architecture
- knowledge based systems
- support systems
- formal specification
- adaptive systems
- model checking
- regulatory requirements
- software engineering
- load balancing
- high level
- software systems
- learning systems
- knowledge acquisition
- web services
- knowledge base
- decision making
- real time