nuno-macedo documents

Implementing QVT-R bidirectional model transformations using Alloy
Technology Implementing QVT-R bidirectional model transformations using Alloy
Model Transformation and Repair with Echo
Technology Model Transformation and Repair with Echo
Relations as Executable Specifications
Technology Relations as Executable Specifications
Towards a Framework for Multidirectional Model Transformations
Technology Towards a Framework for Multidirectional Model Transformations