Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008.
Antonio CeroneStefan GrunerPublished in: Softw. Syst. Model. (2011)
Keyphrases
- formal methods
- special section
- software engineering
- knowledge based systems
- formal analysis
- artificial intelligence
- model checker
- special issue
- programming language
- model checking
- formal specification
- award winning
- database
- process algebra
- safety critical
- software architecture
- software systems
- knowledge management
- expert systems