Model driven code checking.

Gerard J. Holzmann Rajeev Joshi Alex Groce

Published in: Autom. Softw. Eng. (2008)

Keyphrases

model driven
code generation
data driven
service oriented
metamodel
source code
data integration
model driven development
development environments
model driven engineering
mashup
model driven architecture
databases
machine learning
knowledge management
transformation rules