Return to home page
Searching: Otterbein library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
Conference ICMT 2010 (2010 : Málaga, Spain)
Title Theory and practice of model transformations : third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010 ; proceedings / Laurence Tratt, Martin Gogolla (eds.).
Imprint Berlin : Springer, 2010.

View online
View online
Conference ICMT 2010 (2010 : Málaga, Spain)
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.
Subject Model-driven software architecture -- Congresses.
Computer software -- Development -- Congresses.
Models, Theoretical.
Alt Name Tratt, Laurence.
Gogolla, Martin, 1954-
Description 1 online resource (x, 275 pages) : illustrations.
polychrome rdacc
Bibliography Note Includes bibliographical references and author index.
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.
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.
Note Print version record.
ISBN 9783642136887
9783642136870 (pbk.)
3642136877 (pbk.)
ISBN/ISSN 10.1007/978-3-642-13688-7
OCLC # 654396128
Additional Format Print version: ICMT 2010 (2010 : Malaga, Spain). Theory and practice of model transformations. Berlin : Springer, 2010 9783642136870 3642136877 (OCoLC)646006842

If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team