![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![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
3rd ICMT@TOOLS 2010: Málaga, Spain
- Laurence Tratt, Martin Gogolla:
Theory and Practice of Model Transformations - 3rd International Conference, ICMT@TOOLS 2010, Málaga, Spain, June 28-July 2, 2010. Proceedings. Lecture Notes in Computer Science 6142, Springer 2010, ISBN 978-3-642-13687-0
Invited Paper
- Marco Brambilla
, Stefano Ceri, Massimo Tisi:
Search Computing: A Model-Driven Perspective. 1-15
Research Papers
- Maider Azanza
, Don S. Batory, Oscar Díaz
, Salvador Trujillo:
Domain-Specific Composition of Model Deltas. 16-30 - Marion Behrens, Gregory M. Provan
:
Temporal Model-Based Diagnostics Generation for HVAC Control Systems. 31-44 - Jordi Cabot
, Robert Clarisó
, Esther Guerra, Juan de Lara:
Synthesis of OCL Pre-conditions for Graph Transformation Rules. 45-60 - Zinovy Diskin, Yingfei Xiong
, Krzysztof Czarnecki:
From State- to Delta-Based Bidirectional Model Transformations. 61-76 - Camillo Fiorentini
, Alberto Momigliano
, Mario Ornaghi, Iman Poernomo:
A Constructive Approach to Testing Model Transformations. 77-92 - Roy Grønmo, Birger Møller-Pedersen:
From Sequence Diagrams to State Machines by Graph Transformation. 93-107 - Florian Heidenreich, Jan Kopcsek, Uwe Aßmann
:
Safe Composition of Transformations. 108-122 - Frédéric Jouault, Massimo Tisi:
Towards Incremental Execution of ATL Transformations. 123-137 - Dimitrios S. Kolovos
, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes:
Constructing and Navigating Non-invasive Model Decorations. 138-152 - Philip Langer, Manuel Wimmer, Gerti Kappel:
Model-to-Model Transformations By Demonstration. 153-167 - Ricardo Pérez-Castillo
, Ignacio García Rodríguez de Guzmán
, Mario Piattini
:
Implementing Business Process Recovery Patterns through QVT Transformations. 168-183 - Louis M. Rose, Dimitrios S. Kolovos
, Richard F. Paige, Fiona A. C. Polack:
Model Migration with Epsilon Flock. 184-198 - Eugene Syriani
, Jörg Kienzle, Hans Vangheluwe
:
Exceptional Transformations. 199-214 - Massimo Tisi, Jordi Cabot
, Frédéric Jouault:
Improving Higher-Order Transformations Support in ATL. 215-229 - Javier Troya
, Antonio Vallecillo
:
Towards a Rewriting Logic Semantics for ATL. 230-244 - Konrad Voigt, Thomas Heinze:
Metamodel Matching Based on Planar Graph Edit Distance. 245-259 - Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger:
Surviving the Heterogeneity Jungle with Composite Mapping Operators. 260-275
![](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.