Logo - springer
Slogan - springer

Computer Science - Software Engineering | Theory and Practice of Model Transformations - Second International Conference, ICMT 2009, Zürich,

Theory and Practice of Model Transformations

Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings

Paige, Richard F. (Ed.)

2009

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$69.99

(net) price for USA

ISBN 978-3-642-02408-5

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$99.00

(net) price for USA

ISBN 978-3-642-02407-8

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

This book constitutes the refereed proceedings of the Second International Conference on Theory and Practice of Model Transformations, ICMT 2009, held at the ETH in Zurich, Switzerland, in June 2009.

The 14 revised full papers and 3 revised short papers presented together with 1 invited lecture were carefully reviewed and selected from 67 submissions. The papers address questions about the nature and features of model transformations, their composability and combination to build new model transformations and implement high-level model management operations, the classification of languages for expressing transformations, the measurement of the quality and extra-functional requirements of model transformations, and the definition of development methodologies that allow exploiting all their potential benefits. The volume also contains the minutes of the GRACE International Meeting on Bidirectional Transformations, held in December 2009 near Tokyo, Japan.

Content Level » Research

Keywords » algorithms - aspect-oriented modeling - classification - code generation - constraint solving - domain-specific languages - embedded systems - formal methods - generic programming - graph transformation - meta-modeling - model - model checking - model transformation - model-driven architectu

Related subjects » Software Engineering - Theoretical Computer Science

Table of contents 

Invited Paper.- Foundations for Bidirectional Programming.- Full Papers.- Model Superimposition in Software Product Lines.- Efficient Model Transformations by Combining Pattern Matching Strategies.- Managing Dependent Changes in Coupled Evolution.- Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages.- A Collection Operator for Graph Transformation.- Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions.- Towards Model Round-Trip Engineering: An Abductive Approach.- Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa.- Solving Constraints in Model Transformations.- Automatic Model Generation Strategies for Model Transformation Testing.- A Simple Game-Theoretic Approach to Checkonly QVT Relations.- Supporting Model–Driven Development of Object–Relational Database Schemas: A Case Study.- Typing in Model Management.- Supporting Parallel Updates with Bidirectional Model Transformations.- Short Papers.- Experiments with a High-Level Navigation Language.- Using Metrics for Assessing the Quality of ASF+SDF Model Transformations.- Achieving Rule Interoperability Using Chains of Model Transformations.- Panel on Bidirectional Transformations.- Bidirectional Transformations: A Cross-Discipline Perspective.

Popular Content within this publication 

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Software Engineering / Programming and Operating Systems.