Formal methods software engineering for the CARA system.
John C. MartinPublished in: Int. J. Softw. Tools Technol. Transf. (2004)
Keyphrases
- formal methods
- software engineering
- formal analysis
- safety critical
- knowledge based systems
- model checker
- artificial intelligence
- provably correct
- model checking
- process algebra
- software systems
- software development
- formal specification
- object oriented
- reverse engineering
- development lifecycle
- design patterns
- software engineers
- reactive systems
- programming language
- modeling language
- source code
- temporal properties
- knowledge management
- relational databases