Richard F. Paige
Proceedings of the Second International Conference on Theory and Practice of Model Transformations
ICMT, 2009.

@proceedings{ICMT-2009,
	address       = "Zurich, Switzerland",
	doi           = "10.1007/978-3-642-02408-5",
	editor        = "Richard F. Paige",
	isbn          = "978-3-642-02407-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second International Conference on Theory and Practice of Model Transformations}",
	volume        = 5563,
	year          = 2009,
}

Event page: http://www.model-transformation.org/ICMT2009/

Committee

Contents (19 items)

9 ×#model transformation
3 ×#bidirectional
2 ×#approach
2 ×#generative
2 ×#using

ICMT-2009-Pierce #bidirectional #programming

Foundations for Bidirectional Programming (BCP), pp. 1–3.

ICMT-2009-ApelJTK #product line

Model Superimposition in Software Product Lines (SA, FJ, ST, CK), pp. 4–19.

ICMT-2009-BergmannHRV #model transformation #pattern matching #performance

Efficient Model Transformations by Combining Pattern Matching Strategies (GB, ÁH, IR, DV), pp. 20–34.

ICMT-2009-CicchettiRP #co-evolution #evolution

Managing Dependent Changes in Coupled Evolution (AC, DDR, AP), pp. 35–51.

ICMT-2009-Garcia-MagarinoGF #algorithm #generative #model transformation #transformation language

Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages (IGM, JJGS, RFF), pp. 52–66.

ICMT-2009-GronmoKM #graph transformation

A Collection Operator for Graph Transformation (RG, SK, BMP), pp. 67–82.

ICMT-2009-GuerraLO #model transformation

Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions (EG, JdL, FO), pp. 83–99.

ICMT-2009-HettelLR #abduction #approach #towards

Towards Model Round-Trip Engineering: An Abductive Approach (TH, ML, KR), pp. 100–115.

ICMT-2009-HillairetBL #model transformation #query

Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa (GH, FB, JYL), pp. 116–131.

ICMT-2009-PetterBM #constraints #model transformation

Solving Constraints in Model Transformations (AP, AB, MM), pp. 132–147.

ICMT-2009-SenBM #automation #generative #model transformation #testing

Automatic Model Generation Strategies for Model Transformation Testing (SS, BB, JMM), pp. 148–164.

ICMT-2009-Stevens #approach #game studies #qvt

A Simple Game-Theoretic Approach to Checkonly QVT Relations (PS), pp. 165–180.

ICMT-2009-VaraVBM #case study #database #development #modelling

Supporting Model-Driven Development of Object-Relational Database Schemas: A Case Study (JMV, BV, VAB, EM), pp. 181–196.

ICMT-2009-VignagaJBB #model management #type system

Typing in Model Management (AV, FJ, MCB, HB), pp. 197–212.

ICMT-2009-XiongSHT #bidirectional #model transformation #parallel

Supporting Parallel Updates with Bidirectional Model Transformations (YX, HS, ZH, MT), pp. 213–228.

ICMT-2009-CuadradoJMB #navigation

Experiments with a High-Level Navigation Language (JSC, FJ, JGM, JB), pp. 229–238.

ICMT-2009-AmstelLB #asf+sdf #metric #model transformation #quality #using

Using Metrics for Assessing the Quality of ASF+SDF Model Transformations (MvA, CFJL, MvdB), pp. 239–248.

ICMT-2009-FabroABJ #model transformation #using

Achieving Rule Interoperability Using Chains of Model Transformations (MDDF, PA, JB, FJ), pp. 249–259.

ICMT-2009-CzarneckiFHLST #bidirectional #perspective

Bidirectional Transformations: A Cross-Discipline Perspective (KC, JNF, ZH, RL, AS, JFT), pp. 260–283.