With the raise of Model-Driven Engineering (Mde), model transformations are more and more used as the automation technique in software engineering. After more than a decade of maturation, Mde can nowadays leverage software development within complex domains and for building large-scale systems, thanks to the recent theoretical foundations and emerging tool support. In this respect, the correctness of model transformations is one crucial requirement for the success of Mde. Despite some recent advances in this eld, the work on the Veri cation & Validation (V&V) of model transformations still remains scattered, and a clear perspective on the subject is still an ongoing process.
Program Committee Mark Asztalos Dider Buchs Antonio Cichetti Benot Combemale Michalis Famelis Holger Giese Martin Gogolla Je Gray Esther Guerra Frank Hermann Akram Idani Marouane Kessentini Dimitrios S. Kolovos Leen Lambers Kevin Lano Tihamer Levendovszky Levi Lucio Arend Rensink Rick Saley Martina Seidl Antonio Vallecillo Hans Vanghelhuwe Daniel Varro