Developing High Quality Software with Formal Methods: What Else Is Needed?
Constance L. HeitmeyerPublished in: FORTE (2005)
Keyphrases
- formal methods
- development lifecycle
- high quality
- safety critical
- temporal properties
- model checking
- formal analysis
- software engineering
- formal specification
- software development
- knowledge based systems
- provably correct
- formal specification language
- model checker
- modeling language
- process algebra
- artificial intelligence
- software systems
- high resolution
- database systems
- databases
- reactive systems
- user interface
- expert systems