Theory and Practice of Model Transformations

6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

  • Keith Duddy
  • Gerti Kappel
Conference proceedings ICMT 2013

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

Table of contents

  1. Front Matter
  2. New Programming Models

    1. Jesús Sánchez Cuadrado, Juan de Lara
      Pages 1-16
    2. Martin Faunes, Houari Sahraoui, Mounir Boukadoum
      Pages 17-32
    3. Anya Helene Bagge, Ralf Lämmel
      Pages 33-49
  3. Tools and Applications (Extended Abstracts)

    1. Frank Hermann, Susann Gottmann, Nico Nachtigall, Benjamin Braatz, Gianluigi Morelli, Alain Pierre et al.
      Pages 50-51
    2. Martin Mann, Heinz Ekker, Christoph Flamm
      Pages 52-53
    3. Tassilo Horn
      Pages 56-57
    4. Edward Willink, Horacio Hoyos, Dimitris Kolovos
      Pages 58-59
  4. Evolution and Synchronisation

    1. Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio
      Pages 60-75
    2. Christian Krause, Johannes Dyck, Holger Giese
      Pages 76-91
    3. Oskar van Rest, Guido Wachsmuth, Jim R. H. Steel, Jörn Guy Süß, Eelco Visser
      Pages 92-107
  5. Transformation Engineering

    1. Max E. Kramer, Jacques Klein, Jim R. H. Steel, Brice Morin, Jörg Kienzle, Olivier Barais et al.
      Pages 108-124
    2. Gergely Varró, Frederik Deckwerth
      Pages 125-140
    3. Andreas Rentschler, Qais Noorshams, Lucia Happe, Ralf Reussner
      Pages 141-157
    4. Fabian Büttner, Marina Egea, Esther Guerra, Juan de Lara
      Pages 158-173
  6. Testing

    1. Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, Christian Attiogbé
      Pages 189-204
  7. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.


ATL transformations graph grammars metamodels pattern matching test cases

Editors and affiliations

  • Keith Duddy
    • 1
  • Gerti Kappel
    • 2
  1. 1.Queensland University of TechnologyBrisbaneAustralia
  2. 2.Vienna University of TechnologyViennaAustria

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-38882-8
  • Online ISBN 978-3-642-38883-5
  • 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