Integration of informal and formal development of object-oriented safety-critical software.
Richard BubelReiner HähnlePublished in: Int. J. Softw. Tools Technol. Transf. (2005)
Keyphrases
- safety critical
- formal methods
- object oriented
- fault tolerant
- safety analysis
- embedded systems
- nuclear power plant
- support systems
- agent architecture
- software engineering
- model checking
- regulatory requirements
- knowledge based systems
- development process
- adaptive systems
- formal specification
- artificial intelligence
- data model
- case study
- software systems
- database applications
- programming language
- expert systems
- multi agent