Implementing QVT-R bidirectional model transformations using Alloy

Model Transformation and Repair with Echo

Towards a Framework for Multidirectional Model Transformations

Relations as Executable Specifications

curriculo

Portfólio