Theory and Practice of Model Transformations

8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9152)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Change Management

    1. Front Matter
      Pages 1-1
    2. Riemer van Rozen, Tijs van der Storm
      Pages 18-33
    3. Sinem Getir, Lars Grunske, Christian Karl Bernasko, Verena Käfer, Tim Sanwald, Matthias Tichy
      Pages 34-40
  3. Reuse and Industrial Applications

    1. Front Matter
      Pages 41-41
    2. Javier Criado, Salvador Martínez, Luis Iribarne, Jordi Cabot
      Pages 43-58
    3. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara
      Pages 59-65
    4. Arjan J. Mooij, Gernot Eggen, Jozef Hooman, Hans van Wezep
      Pages 66-81
    5. Michalis Famelis, Levi Lúcio, Gehan Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik et al.
      Pages 82-97
  4. New Paradigms for Model Transformation

    1. Front Matter
      Pages 99-99
    2. Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi et al.
      Pages 101-110
    3. Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickael Clavreul, Guillaume Savaton
      Pages 111-120
    4. Vlad Acretoaie, Harald Störrle, Daniel Strüber
      Pages 121-130
  5. Transformation Validation and Verification

    1. Front Matter
      Pages 131-131
    2. Zheng Cheng, Rosemary Monahan, James F. Power
      Pages 133-148
    3. Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
      Pages 149-165
    4. Loïc Gammaitoni, Pierre Kelsen
      Pages 166-180
  6. Foundations of Model Transformation

    1. Front Matter
      Pages 181-181
    2. Elie Richa, Etienne Borde, Laurent Pautet
      Pages 183-198

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse and industrial applications; new paradigms for model transformation; transformation validation and verification; and foundations of model transformation.

Keywords

Automated software engineering Automatic theorem proving Bidirectional transformation Incremental transformation Intermediate verification language Metamodeling Model queries Model transformation Model verification and validation Model-driven software engineering Nested graph conditions Pattern matching Re-engineering Reusability Reverse engineering Software development technique Software engineering Transformation languages Triple graph grammars Virtual machine

Editors and affiliations

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-21155-8
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-21154-1
  • Online ISBN 978-3-319-21155-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book