Description |
1 online resource (x, 275 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 6142 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 6142.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Invited Paper -- Search Computing: A Model-Driven Perspective -- Research Papers -- Domain-Specific Composition of Model Deltas -- Temporal Model-Based Diagnostics Generation for HVAC Control Systems -- Synthesis of OCL Pre-conditions for Graph Transformation Rules -- From State- to Delta-Based Bidirectional Model Transformations -- A Constructive Approach to Testing Model Transformations -- From Sequence Diagrams to State Machines by Graph Transformation -- Safe Composition of Transformations -- Towards Incremental Execution of ATL Transformations -- Constructing and Navigating Non-invasive Model Decorations -- Model-to-Model Transformations By Demonstration -- Implementing Business Process Recovery Patterns through QVT Transformations -- Model Migration with Epsilon Flock -- Exceptional Transformations -- Improving Higher-Order Transformations Support in ATL -- Towards a Rewriting Logic Semantics for ATL -- Metamodel Matching Based on Planar Graph Edit Distance -- Surviving the Heterogeneity Jungle with Composite Mapping Operators |
Summary |
Annotation This book constitutes the refereed proceedings of the Third International Conference, ICMT 2010, held in Malaga, Spain, in June 2010. The 17 revised full papers were carefully revised and selected from 58 submissions. The scope of the contributions ranges from theoretical and methological topics to implementation issues and applications. The papers include different issues related with:Search Computing, Composition of Model Deltas, Testing Model Transformation, Safe Composition of Transformations, Model-to-Model Transformations and Model Migration of Epsilon Flock |
Bibliography |
Includes bibliographical references and author index |
Notes |
English |
|
Print version record |
In |
Springer eBooks |
Subject |
Model-driven software architecture -- Congresses
|
|
Computer software -- Development -- Congresses
|
|
Mathematical models.
|
|
Models, Theoretical
|
|
Software
|
|
mathematical models.
|
|
software.
|
|
Informatique.
|
|
Mathematical models
|
|
Computer software -- Development
|
|
Model-driven software architecture
|
|
Modelltransformation
|
|
Málaga <2010>
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Tratt, Laurence.
|
|
Gogolla, Martin, 1954-
|
LC no. |
2010928208 |
ISBN |
9783642136887 |
|
3642136885 |
|
1280387246 |
|
9781280387241 |
|
9786613565167 |
|
6613565164 |
|