After a decade, Model-Driven Engineering (MDE) has reached the maturity needed to support software development within complex domains and to allow building large-scale systems. Recently established theoretical foundations and emerging tool support have been key to this maturation. MDE supports the various activities of software development: high-level requirements elicitation, domain and problem speci cation, validation and veri cation, evolution and maintenance, etc. The correctness of models and the associated model transformations is crucial to the success of any model-driven approach. These proceedings gather contributions submitted to and presented in two workshops which address this crucial issue in two distinct ways: The Fifth International Workshop on Veri cation of Model Transformations (VolT) is concerned with a posteriori techniques for correctness, where models and/or transformations are checked to formally prove some relevant notion of correctness; while The Second International Workshop on Patterns in Model Engineering (Pame) focuses on a priori techniques, such as the discovery and reuse of repetitive idioms, either structural or behavioral (or even both), to properly guide the speci cation of models and transformations and improve their quality.
worked during the summer vacation period to deliver timely and accurate reviews.
For the VOLT Workshop, Moussa Amrani and Eugene Syriani
For the PAME Workshop, Huseyin Ergin, Richard Paige, Ste en Zschaler and
Eugene Syriani
Marouane Kessentini Martin Gogolla Marsha Chechik Mark Asztalos Antonio Cicchetti Antonio Vallecillo Levi Lucio Leen Lambers Kevin Lano Akram Idani Akos Horvath Arend Rensink Martina Seidl Eugene Syriani Gabriele Taentzer Juergen Dingel Je Gray PAME Program Committee Jordi Cabot Antonio Cicchetti Huseyin Ergin Holger Giese Kevin Lano Richard Paige Eugene Syriani Antonio Vallecillo Hans Vangheluwe Vadim Zaytsev Ste en Zschaler