Jürgen Dingel, Sahar Kokaly, Levi Lúcio, Rick Salay, Hans Vangheluwe
Proceedings of the Fourth Workshop on the Analysis of Model Transformations
AMT, 2015.

@proceedings{AMT-2015,
	editor        = "Jürgen Dingel and Sahar Kokaly and Levi Lúcio and Rick Salay and Hans Vangheluwe",
	pdfurl        = "http://ceur-ws.org/Vol-1500",
	publisher     = "{CEUR-WS.org}",
	series        = "{CEUR Workshop Proceedings}",
	title         = "{Proceedings of the Fourth Workshop on the Analysis of Model Transformations}",
	volume        = 1500,
	year          = 2015,
}

Contents (7 items)

3 ×#model transformation
2 ×#towards
2 ×#verification

AMT-2015-HilkenBGV #development #modelling #using

Iterative Development of Transformation Models by Using Classifying Terms (FH, LB, MG, AV), pp. 1–6.

AMT-2015-SalayZC #question #reuse #what

Transformation Reuse: What is the Intent? (RS, SZ, MC), pp. 7–15.

AMT-2015-HoislS #benchmark #evolution #metric #model-to-text #towards

Towards Benchmarking Evolution Support in Model-to-Text Transformation Systems (BH, SS), pp. 16–25.

AMT-2015-SelimCDLO #case study #debugging #experience #model transformation #verification

Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report (GMKS, JRC, JD, LL, BJO), pp. 26–35.

AMT-2015-DyckGLSG #automation #behaviour #model transformation #towards #verification

Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.

AMT-2015-GholizadehDKM #analysis #model transformation

Analysis of Source-to-Target Model Transformations in QueST (HG, ZD, SK, TSEM), pp. 46–55.

AMT-2015-RabbiLYK #approach #diagrams

A Diagrammatic Approach to Model Completion (FR, YL, IY, LK), pp. 56–65.