


default search action
8th ICMT@STAF 2015: L'Aquila, Italy
- Dimitris S. Kolovos, Manuel Wimmer:

Theory and Practice of Model Transformations - 8th International Conference, ICMT@STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings. Lecture Notes in Computer Science 9152, Springer 2015, ISBN 978-3-319-21154-1
Change Management
- Georg Hinkel

:
Change Propagation in an Internal Model Transformation Language. 3-17 - Riemer van Rozen

, Tijs van der Storm:
Origin Tracking + + Text Differencing = = Textual Model Differencing. 18-33 - Sinem Getir, Lars Grunske

, Christian Karl Bernasko, Verena Käfer
, Tim Sanwald, Matthias Tichy:
CoWolf - A Generic Framework for Multi-view Co-evolution and Evaluation of Models. 34-40
Reuse and Industrial Applications
- Javier Criado

, Salvador Martínez Perez
, Luis Iribarne
, Jordi Cabot
:
Enabling the Reuse of Stored Model Transformations Through Annotations. 43-58 - Jesús Sánchez Cuadrado

, Esther Guerra
, Juan de Lara:
Reusable Model Transformation Components with bentō. 59-65 - Arjan J. Mooij, Gernot Eggen, Jozef Hooman, Hans van Wezep:

Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models. 66-81 - Michalis Famelis, Levi Lucio, Gehan M. K. Selim, Alessio Di Sandro

, Rick Salay, Marsha Chechik, James R. Cordy, Jürgen Dingel, Hans Vangheluwe
, S. Ramesh:
Migrating Automotive Product Lines: A Case Study. 82-97
New Paradigms for Model Transformation
- Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi

, Dániel Varró
:
Viatra 3: A Reactive Model Transformation Platform. 101-110 - Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickael Clavreul, Guillaume Savaton:

Towards Functional Model Transformations with OCL. 111-120 - Vlad Acretoaie, Harald Störrle, Daniel Strüber:

Transparent Model Transformation: Turning Your Favourite Model Editor into a Transformation Tool. 121-130
Transformation Validation and Verification
- Zheng Cheng, Rosemary Monahan

, James F. Power:
A Sound Execution Semantics for ATL via Translation Validation - Research Paper. 133-148 - Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille

:
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. 149-165 - Loïc Gammaitoni, Pierre Kelsen:

F-Alloy: An Alloy Based Model Transformation Language. 166-180
Foundations of Model Transformation
- Elie Richa, Etienne Borde, Laurent Pautet

:
Translating ATL Model Transformations to Algebraic Graph Transformations. 183-198 - Roland Kluge

, Gergely Varró, Andy Schürr:
A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation. 199-213 - Frank Trollmann, Sahin Albayrak

:
Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models. 214-229

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














