Keith Duddy, Gerti Kappel
Proceedings of the Sixth International Conference on Theory and Practice of Model Transformations
ICMT, 2013.

@proceedings{ICMT-2013,
	address       = "Budapest, Hungary",
	doi           = "10.1007/978-3-642-38883-5",
	editor        = "Keith Duddy and Gerti Kappel",
	isbn          = "978-3-642-38882-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Conference on Theory and Practice of Model Transformations}",
	volume        = 7909,
	year          = 2013,
}

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

Committee

Contents (18 items)

5 ×#model transformation
3 ×#approach
3 ×#graph grammar
3 ×#testing
2 ×#automation
2 ×#co-evolution
2 ×#evolution
2 ×#graph transformation
2 ×#metamodelling
2 ×#performance

ICMT-2013-CuadradoL #challenge #model transformation #streaming

Streaming Model Transformations: Scenarios, Challenges and Initial Solutions (JSC, JdL), pp. 1–16.

ICMT-2013-FaunesSB #approach #model transformation

Genetic-Programming Approach to Learn Model Transformation Rules from Examples (MF, HAS, MB), pp. 17–32.

ICMT-2013-BaggeL

Walk Your Tree Any Way You Want (AHB, RL), pp. 33–49.

ICMT-2013-HermannGNBMPE #automation #graph grammar #on the #using

On an Automated Translation of Satellite Procedures Using Triple Graph Grammars (FH, SG, NN, BB, GM, AP, TE), pp. 50–51.

ICMT-2013-MannEF #framework #graph grammar #library #term rewriting

The Graph Grammar Library — A Generic Framework for Chemical Graph Rewrite Systems (MM, HE, CF), pp. 52–53.

ICMT-2013-LepperT #performance #validation

Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (ML, BTyW), pp. 54–55.

ICMT-2013-Horn #query

Model Querying with FunnyQT — (TH), pp. 56–57.

ICMT-2013-WillinkHK #qvt

Yet Another Three QVT Languages (EDW, HH, DSK), pp. 58–59.

ICMT-2013-RuscioIP #approach #atl #co-evolution #evolution #metamodelling

A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations (DDR, LI, AP), pp. 60–75.

ICMT-2013-KrauseDG #co-evolution #evolution #graph transformation #metamodelling

Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations (CK, JD, HG), pp. 76–91.

ICMT-2013-RestWSSV #editing #realtime #robust #visual notation

Robust Real-Time Synchronization between Textual and Graphical Editors (OvR, GW, JRHS, JGS, EV), pp. 92–107.

ICMT-2013-KramerKSMKBJ #weaving

Achieving Practical Genericity in Model Weaving through Extensibility (MEK, JK, JRHS, BM, JK, OB, JMJ), pp. 108–124.

ICMT-2013-VarroD #algorithm #incremental #network #pattern matching

A Rete Network Construction Algorithm for Incremental Pattern Matching (GV, FD), pp. 125–140.

ICMT-2013-RentschlerNHR #interactive #maintenance #model transformation #performance #visual notation

Interactive Visual Analytics for Efficient Maintenance of Model Transformations (AR, QN, LH, RHR), pp. 141–157.

ICMT-2013-ButtnerEGL #model transformation #refinement

Checking Model Transformation Refinement (FB, ME, EG, JdL), pp. 158–173.

ICMT-2013-HildebrandtLG #automation #consistency #graph grammar #implementation #specification #testing

Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.

ICMT-2013-FinotMSA #model transformation #testing

Partial Test Oracle in Model Transformation Testing (OF, JMM, GS, CA), pp. 189–204.

ICMT-2013-WieberS #approach #graph transformation #testing

Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns (MW, AS), pp. 205–220.