Benoit Baudry, Jürgen Dingel, Levi Lúcio, Hans Vangheluwe
Proceedings of the Second Workshop on the Analysis of Model Transformations
AMT, 2013.
@proceedings{AMT-2013,
address = "Miami, Florida, USA",
editor = "Benoit Baudry and Jürgen Dingel and Levi Lúcio and Hans Vangheluwe",
pdfurl = "http://ceur-ws.org/Vol-1077/",
publisher = "{CEUR-WS.org}",
series = "{CEUR Workshop Proceedings}",
title = "{Proceedings of the Second Workshop on the Analysis of Model Transformations}",
urn = "urn:nbn:de:0074-1077-8",
volume = 1077,
year = 2013,
}
Contents (9 items)
- AMT-2013-MatragkasKPZ #approach #model transformation #testing
- A Traceability-Driven Approach to Model Transformation Testing (NDM, DSK, RFP, AZ), pp. 2–11.
- AMT-2013-FinotMSD #metamodelling #testing #using
- Using Meta-model Coverage to Qualify Test Oracles (OF, JMM, GS, TD), pp. 12–21.
- AMT-2013-TisoRL #model-to-text #testing
- A Method for Testing Model to Text Transformations (AT, GR, ML), pp. 22–31.
- AMT-2013-CalegariD #qvt #testing
- Rule Chains Coverage for Testing QVT-Relations Transformations (DC, AD), pp. 32–41.
- AMT-2013-KuselSWRSK #atl #case study #model transformation #reuse
- Reality Check for Model Transformation Reuse: The ATL Transformation Zoo Case Study (AK, JS, MW, WR, WS, GK), pp. 42–51.
- AMT-2013-AgirreES #architecture #automation #development #impact analysis #migration #modelling
- Automatic Impact Analysis of Software Architecture Migration on Model Driven Software Development (JAA, LE, GS), pp. 52–61.
- AMT-2013-Gottmann0NBEEE #concurrent #correctness #graph grammar
- Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars (SG, FH, NN, BB, CE, HE, TE), pp. 62–71.
- AMT-2013-NalchigarSC #model transformation #non-functional #requirements #towards #transformation language
- Towards a Catalog of Non-Functional Requirements in Model Transformation Languages (SN, RS, MC), pp. 72–81.
- AMT-2013-TichyKL #detection #model transformation #performance #smell
- Detecting Performance Bad Smells for Henshin Model Transformations (MT, CK, GL), pp. 82–91.