Zhenjiang Hu, Juan de Lara
Proceedings of the Fifth International Conference on Theory and Practice of Model Transformations
ICMT, 2012.

@proceedings{ICMT-2012,
	address       = "Prague, Czech Republic",
	doi           = "10.1007/978-3-642-30476-7",
	editor        = "Zhenjiang Hu and Juan de Lara",
	isbn          = "978-3-642-30475-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth International Conference on Theory and Practice of Model Transformations}",
	volume        = 7307,
	year          = 2012,
}

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

Committee

Contents (19 items)

11 ×#model transformation
4 ×#modelling
3 ×#bidirectional
3 ×#towards
2 ×#emf
2 ×#generative
2 ×#multi
2 ×#named
2 ×#reuse
2 ×#using

ICMT-2012-TerwilligerCC #bidirectional #framework #how #incremental #towards

How Clean Is Your Sandbox? — Towards a Unified Theoretical Framework for Incremental Bidirectional Transformations (JFT, AC, CC), pp. 1–23.

ICMT-2012-SenMTC #model transformation #modelling #using

Using Models of Partial Knowledge to Test Model Transformations (SS, JMM, MT, JC), pp. 24–39.

ICMT-2012-Guerra #generative #model transformation #testing

Specification-Driven Test Generation for Model Transformations (EG), pp. 40–55.

ICMT-2012-VallecilloG #model transformation #type system #using

Typing Model Transformations Using Tracts (AV, MG), pp. 56–71.

ICMT-2012-AndovaBE #model transformation #reuse

Reusable and Correct Endogenous Model Transformations (SA, MvdB, LE), pp. 72–88.

ICMT-2012-PachecoC #bidirectional #model transformation #multi #named #transformation language #xml

Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas (HP, AC), pp. 89–104.

ICMT-2012-CunhaFMPS #bidirectional #modelling #spreadsheet

Bidirectional Transformation of Model-Driven Spreadsheets (JC, JPF, JM, HP, JS), pp. 105–120.

ICMT-2012-BosS #forensics #optimisation

Domain-Specific Optimization in Digital Forensics (JvdB, TvdS), pp. 121–136.

ICMT-2012-Fernandez-RoperoPWP #assessment #empirical #model transformation #simulation

Empirical Assessment of Business Model Transformations Based on Model Simulation (MFR, RPC, BW, MP), pp. 137–151.

ICMT-2012-AmstelBS #model transformation #traceability #visualisation

Traceability Visualization in Model Transformations with TraceVis (MvA, MvdB, AS), pp. 152–159.

ICMT-2012-GeorgeWS #domain-specific language #model transformation #scala #transformation language #type safety

Type-Safe Model Transformation Languages as Internal DSLs in Scala (LG, AW, MS), pp. 160–175.

ICMT-2012-Cuadrado #model transformation #product line #towards #transformation language

Towards a Family of Model Transformation Languages (JSC), pp. 176–191.

ICMT-2012-WagelaarIRP #co-evolution #emf #semantics #virtual machine

Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine (DW, LI, DDR, AP), pp. 192–207.

ICMT-2012-AtkinsonGT #model transformation #multi #towards

Towards Multi-level Aware Model Transformations (CA, RG, CT), pp. 208–223.

ICMT-2012-VarroDWS #algorithm #emf #generative #modelling

An Algorithm for Generating Model-Sensitive Search Plans for EMF Models (GV, FD, MW, AS), pp. 224–239.

ICMT-2012-Trancon-y-WidemannL #named #pattern matching

Paisley: Pattern Matching à la Carte (BTyW, ML), pp. 240–247.

ICMT-2012-DemuthLE #constraints #modelling

Constraint-Driven Modeling through Transformation (AD, RELH, AE), pp. 248–263.

ICMT-2012-Kosiuczenko #state machine

The Impact of Class Model Redesign on State Machines (PK), pp. 264–279.

ICMT-2012-WimmerKKRSS #model transformation #reuse #rule-based #transformation language

Fact or Fiction — Reuse in Rule-Based Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS), pp. 280–295.