Pinnacles of software engineering: 25 years of formal methods.
Dines BjørnerPublished in: Ann. Softw. Eng. (2000)
Keyphrases
- formal methods
- software engineering
- formal analysis
- safety critical
- artificial intelligence
- formal specification
- model checking
- model checker
- temporal properties
- knowledge based systems
- process algebra
- software development
- design patterns
- provably correct
- software architecture
- programming language
- modeling language
- security properties
- software engineers
- reactive systems
- formal specification language
- database
- software testing
- reverse engineering
- fine grained
- knowledge acquisition
- knowledge representation
- multi agent
- high level
- web services