Theory and Practice of Model Transformations

7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings

  • Davide Di Ruscio
  • Dániel Varró
Conference proceedings ICMT 2014

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

Table of contents

  1. Front Matter
  2. Model Transformation Testing

    1. Martin Wieber, Anthony Anjorin, Andy Schürr
      Pages 1-16
    2. Atif Aftab Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
      Pages 17-24
    3. Jokin García, Maider Azanza, Arantza Irastorza, Oscar Díaz
      Pages 42-56
  3. Foundations of Model Synchronization

    1. Zinovy Diskin, Arif Wider, Hamid Gholizadeh, Krzysztof Czarnecki
      Pages 57-73
  4. Applications of Model Synchronization

    1. Dominique Blouin, Alain Plantec, Pierre Dissaux, Frank Singhoff, Jean-Philippe Diguet
      Pages 106-121
    2. Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli et al.
      Pages 122-137
    3. Erhan Leblebici, Anthony Anjorin, Andy Schürr
      Pages 138-145
  5. Tracing and Reverse Engineering of Transformations

    1. Pablo Inostroza, Tijs van der Storm, Sebastian Erdweg
      Pages 154-169
    2. Frank Hilken, Lars Hamann, Martin Gogolla
      Pages 170-185
    3. Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara
      Pages 186-201
  6. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014. The 14 revised papers were carefully selected from 38 submissions. The papers have been organized in topical sections on model transformation testing, foundations of model synchronization, applications of model synchronization and tracing and reverse engineering of transformations.


model transformation model verification and validation pattern matching reengineering reusability reverse engineering software development technique software testing transformation in modeling triple graph grammars

Editors and affiliations

  • Davide Di Ruscio
    • 1
  • Dániel Varró
    • 2
  1. 1.Department of Information Engineering, Computer Science and MathematicsUniversity of L’AquilaL’AquilaItaly
  2. 2.Department of Measurement and Information SystemsBudapest University of Technology and EconomicsBudapestHungary

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-08788-7
  • Online ISBN 978-3-319-08789-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment