![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
1st ICMT@TOOLS 2008: Zurich, Switzerland
- Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio:
Theory and Practice of Model Transformations - 1st International Conference, ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings. Lecture Notes in Computer Science 5063, Springer 2008, ISBN 978-3-540-69926-2
Process and Engineering of Model Transformations
- Mika Siikarla, Markku Laitkorpi, Petri Selonen, Tarja Systä:
Transformations Have to be Developed ReST Assured. 1-15 - Greg Freeman, Don S. Batory, R. Greg Lavender:
Lifting Transformational Models of Product Lines: A Case Study. 16-30 - Thomas Hettel, Michael Lawley, Kerry Raymond:
Model Synchronisation: Definitions for Round-Trip Engineering. 31-45 - Dimitrios S. Kolovos
, Richard F. Paige, Fiona Polack:
The Epsilon Transformation Language. 46-60
Model Transformations Supporting Concurrency and Time
- Marcel van Amstel, Mark G. J. van den Brand
, Zvezdan Protic, Tom Verhoeff
:
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?. 61-75 - Peter Y. H. Wong, Jeremy Gibbons
:
On Specifying and Visualising Long-Running Empirical Studies. 76-90 - Eugene Syriani
, Hans Vangheluwe
:
Programmed Graph Rewriting with Time for Simulation-Based Design. 91-106
Matching and Mapping within Model Transformation Rules
- István Ráth
, Gábor Bergmann
, András Ökrös, Dániel Varró
:
Live Model Transformations Driven by Incremental Pattern Matching. 107-121 - Roy Grønmo, Fredrik Sørensen, Birger Møller-Pedersen, Stein Krogdahl:
Semantics-Based Weaving of UML Sequence Diagrams. 122-136 - Raphael Romeikat, Stephan Roser, Pascal Müllender, Bernhard Bauer:
Translation of QVT Relations into QVT Operational Mappings. 137-151
Language Support for Model Transformation Reuse and Modularity
- Dennis Wagelaar:
Composition Techniques for Rule-Based Model Transformation Languages. 152-167 - Jesús Sánchez Cuadrado
, Jesús García Molina:
Approaches for Model Transformation Reuse: Factorization and Composition. 168-182 - Zef Hemel, Lennart C. L. Kats, Eelco Visser
:
Code Generation by Model Transformation. 183-198 - Ivan Kurtev
:
Application of Reflection in Model Transformation Languages. 199-213
Correctness and Analysis of Model Transformations
- Iman Poernomo:
Proofs-as-Model-Transformations. 214-228 - Jordi Cabot
, Robert Clarisó, Esther Guerra, Juan de Lara:
Analysing Graph Transformation Rules through OCL. 229-244 - Andrés Vignaga, Daniel Perovich, M. Cecilia Bastarrica:
Extracting Object Interactions Out of Software Contracts Using Model Transformations. 245-259
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.