Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012
Published in: FormSERA@ICSE (2012)
Keyphrases
- formal methods
- software engineering
- provably correct
- artificial intelligence
- formal analysis
- formal specification
- software development
- process algebra
- safety critical
- model checker
- model checking
- temporal properties
- software systems
- knowledge based systems
- programming language
- modeling language
- development process
- source code
- data model
- case study
- information systems