Login / Signup
FormSERA workshop on formal methods in software engineering rigorous and agile approaches: 2nd of june 2012 at ICSE'2012 in Zürich (CH).
Stefan Gruner
Bernhard Rumpe
Published in:
ACM SIGSOFT Softw. Eng. Notes (2012)
Keyphrases
</>
formal methods
software engineering
model checking
provably correct
software development
formal specification
formal analysis
artificial intelligence
safety critical
programming language
knowledge based systems
database
development process
database systems
knowledge management
reverse engineering
modeling language