Software engineering and formal methods.
Bernhard K. AichernigBernhard BeckertPublished in: Softw. Syst. Model. (2008)
Keyphrases
- formal methods
- software engineering
- formal analysis
- knowledge based systems
- provably correct
- safety critical
- artificial intelligence
- formal specification
- model checker
- development lifecycle
- object oriented
- formal specification language
- process algebra
- model checking
- expert systems
- software engineers
- software systems
- programming language
- design patterns
- software development
- multi agent
- machine learning