Login / Signup
Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process.
Marco Bakera
Tiziana Margaria
Clemens D. Renner
Bernhard Steffen
Published in:
ISoLA (2007)
Keyphrases
</>
model driven
model checking
metamodel
data driven
databases
fault diagnosis
real world
information systems
data warehouse
development environments
model driven development
model driven engineering