Integrating Formal Methods with Model-Driven Engineering.

Angelo Gargantini Elvinia Riccobene Patrizia Scandurra

Published in: ICSEA (2009)

Keyphrases

formal methods
model driven engineering
software engineering
formal analysis
knowledge based systems
safety critical
model driven
formal specification
model checking
model driven architecture
artificial intelligence
development process
metamodel
software projects
formal specification language