1. Implementing QVT-R Bidirectional Model Transformations using Alloy Nuno MacedoAlcino CunhaFASE 2013 March 22, Rome, Italy 2. IntroductionQVT-RQVT-R/AlloyExampleConclusionsIntroduction•…