1
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Transformations -- Precise Semantics of EMF Model Transformations by Graph Transformation -- A Formal Metamodel...

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...