Esther Guerra, Mark van den Brand
Proceedings of the 10th International Conference on Theory and Practice of Model Transformations
ICMT, 2017.

@proceedings{ICMT-2017,
	address       = "Marburg, Germany",
	doi           = "10.1007/978-3-319-61473-1",
	editor        = "Esther Guerra and Mark van den Brand",
	isbn          = "['978-3-319-61472-4', '978-3-319-61473-1']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 10th International Conference on Theory and Practice of Model Transformations}",
	volume        = 10374,
	year          = 2017,
}

Contents (12 items)

ICMT-2017-Boronat #atl #model transformation #semantics

Experimentation with a Big-Step Semantics for ATL Model Transformations (AB), pp. 3–18.

ICMT-2017-GerkingSB #imperative #using

Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities (CG, DS, IB), pp. 19–34.

ICMT-2017-TrollmannA #concurrent #graph grammar #nondeterminism

Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars (FT, SA), pp. 35–50.

ICMT-2017-Willink #eclipse #execution #qvt

The Micromapping Model of Computation; The Foundation for Optimized Execution of Eclipse QVTc/QVTr/UMLX (EDW), pp. 51–65.

ICMT-2017-BurguenoHVG #modelling #testing #using

Testing Transformation Models Using Classifying Terms (LB, FH, AV, MG), pp. 69–85.

ICMT-2017-KehrerP0 #development #difference #maintenance #model transformation #towards #version control

Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations (TK, CP, DS), pp. 86–91.

ICMT-2017-KehrerAH #automation #model transformation #rule-based #specification

Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations (TK, AMA, RH), pp. 92–107.

ICMT-2017-LanoRTS #design pattern #model transformation #overview

A Survey of Model Transformation Design Pattern Usage (KL, SKR, SYT, MS), pp. 108–118.

ICMT-2017-Strueber #generative #modelling #performance #search-based

Generating Efficient Mutation Operators for Search-Based Model-Driven Engineering (DS), pp. 121–137.

ICMT-2017-SemerathV #constraints #evaluation #graph #modelling

Graph Constraint Evaluation over Partial Models by Constraint Rewriting (OS, DV), pp. 138–154.

ICMT-2017-HoWP #approach #bidirectional #named

BXE2E: A Bidirectional Transformation Approach for Medical Record Exchange (JH, JHW, MP), pp. 155–170.

ICMT-2017-NassarRA #approach #automation #emf #interactive #modelling #rule-based

Rule-Based Repair of EMF Models: An Automated Interactive Approach (NN, HR, TA), pp. 171–181.