Formal Methods to Aid the Evolution of Software.
Martin P. WardKeith H. BennettPublished in: Int. J. Softw. Eng. Knowl. Eng. (1995)
Keyphrases
- formal methods
- safety critical
- development lifecycle
- formal analysis
- knowledge based systems
- formal specification
- model checking
- software engineering
- artificial intelligence
- provably correct
- process algebra
- model checker
- software evolution
- formal specification language
- reactive systems
- software architecture
- temporal properties
- software systems
- design process
- software development
- machine learning
- data mining
- databases