## 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)

- 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.