1. ICMT 2008: Zurich, Switzerland

Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio (Eds.): Theory and Practice of Model Transformations, First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings. Lecture Notes in Computer Science 5063 Springer 2008, ISBN 978-3-540-69926-2 BibTeX

Process and Engineering of Model Transformations

Mika Siikarla, Markku Laitkorpi, Petri Selonen, Tarja Systä:
Transformations Have to be Developed ReST Assured. 1-15
Electronic Edition (link) BibTeX
Greg Freeman, Don S. Batory, R. Greg Lavender:
Lifting Transformational Models of Product Lines: A Case Study. 16-30
Electronic Edition (link) BibTeX
Thomas Hettel, Michael Lawley, Kerry Raymond:
Model Synchronisation: Definitions for Round-Trip Engineering. 31-45
Electronic Edition (link) BibTeX
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
The Epsilon Transformation Language. 46-60
Electronic Edition (link) BibTeX

Marcel F. van Amstel, M. G. J. van den Brand, Z. Protic, Tom Verhoeff:
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?. 61-75
Electronic Edition (link) BibTeX
Peter Y. H. Wong, Jeremy Gibbons:
On Specifying and Visualising Long-Running Empirical Studies. 76-90
Electronic Edition (link) BibTeX
Eugene Syriani, Hans Vangheluwe:
Programmed Graph Rewriting with Time for Simulation-Based Design. 91-106
Electronic Edition (link) BibTeX

István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró:
Live Model Transformations Driven by Incremental Pattern Matching. 107-121
Electronic Edition (link) BibTeX
Roy Grønmo, Fredrik Sørensen, Birger Møller-Pedersen, Stein Krogdahl:
Semantics-Based Weaving of UML Sequence Diagrams. 122-136
Electronic Edition (link) BibTeX
Raphael Romeikat, Stephan Roser, Pascal Müllender, Bernhard Bauer:
Translation of QVT Relations into QVT Operational Mappings. 137-151
Electronic Edition (link) BibTeX

Dennis Wagelaar:
Composition Techniques for Rule-Based Model Transformation Languages. 152-167
Electronic Edition (link) BibTeX
Jesús Sánchez Cuadrado, Jesús García Molina:
Approaches for Model Transformation Reuse: Factorization and Composition. 168-182
Electronic Edition (link) BibTeX
Zef Hemel, Lennart C. L. Kats, Eelco Visser:
Code Generation by Model Transformation. 183-198
Electronic Edition (link) BibTeX
Ivan Kurtev:
Application of Reflection in Model Transformation Languages. 199-213
Electronic Edition (link) BibTeX

Iman Poernomo:
Proofs-as-Model-Transformations. 214-228
Electronic Edition (link) BibTeX
Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara:
Analysing Graph Transformation Rules through OCL. 229-244
Electronic Edition (link) BibTeX
Andrés Vignaga, Daniel Perovich, M. Cecilia Bastarrica:
Extracting Object Interactions Out of Software Contracts Using Model Transformations. 245-259
Electronic Edition (link) BibTeX