Sign in
On validation of ATL transformation rules by transformation models.
Fabian Büttner
Jordi Cabot
Martin Gogolla
Published in:
MoDeVVa@MoDELS (2011)
Keyphrases
</>
transformation rules
transformation models
transformation model
merging algorithm
metamodel
multi agent systems
model checking
model driven
information retrieval systems
query optimizer
query specific