Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System.
Richard BubelReiner HähnlePublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- safety critical
- formal methods
- object oriented
- safety analysis
- fault tolerant
- nuclear power plant
- support systems
- embedded systems
- agent architecture
- knowledge based systems
- formal specification
- regulatory requirements
- real time
- case study
- adaptive systems
- model checking
- development process
- database applications
- low cost
- data model
- artificial intelligence
- modeling language
- database design
- software engineering
- cooperative
- databases