Open AccessA case study in combining formal verification and model-driven engineering
Author(s) -
Selma Djeddai,
Mohamed Mezghiche,
Martin Strecker
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , programming language , correctness , software engineering , model transformation , model driven architecture , domain specific language , formal methods , domain (mathematical analysis) , notation , java , process (computing) , software development , software , artificial intelligence , mathematical analysis , consistency (knowledge bases) , mathematics , arithmetic