


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

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














