Towards a formalization of model conformance in Model Driven Engineering.

Thanh Ha Pham Mariano Belaunde Jean Bézivin

Published in: WSMDEIS (2005)

Keyphrases

formal model
database
data sets
high level
reference model
databases
case study
software engineering
knowledge management
model driven engineering