Jürgen Dingel, Juan de Lara, Levi Lúcio, Hans Vangheluwe
Proceedings of the Third Workshop on Analysis of Model Transformations
AMT-2014, 2014.

@proceedings{AMT-2014,
	address       = "Valencia, Spain",
	editor        = "Jürgen Dingel and Juan de Lara and Levi Lúcio and Hans Vangheluwe",
	pdfurl        = "http://ceur-ws.org/Vol-1277/",
	publisher     = "{CEUR-WS.org}",
	series        = "{CEUR Workshop Proceedings}",
	title         = "{Proceedings of the Third Workshop on Analysis of Model Transformations}",
	urn           = "urn:nbn:de:0074-1277-5",
	volume        = 1277,
	year          = 2014,
}

Event page: http://msdl.cs.mcgill.ca/conferences/AMT/

Contents (9 items)

5 ×#model transformation
5 ×#towards
2 ×#bidirectional
2 ×#testing

AMT-2014-RentschlerWNHR #automation #clustering #legacy #model transformation

Remodularizing Legacy Model Transformations with Automatic Clustering Techniques (AR, DW, QN, LH, RR), pp. 4–13.

AMT-2014-TisoRL #model-to-text #testing

Unit Testing of Model to Text Transformations (AT, GR, ML), pp. 14–23.

AMT-2014-GogollaHH #dynamic analysis #modelling #ocl #on the #uml

On Static and Dynamic Analysis of UML and OCL Transformation Models (MG, LH, FH), pp. 24–33.

AMT-2014-RichaBPBR #algebra #graph transformation #model transformation #testing #towards #using

Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.

AMT-2014-TroyaWBV #approximate #model transformation #towards

Towards Approximate Model Transformations (JT, MW, LB, AV), pp. 44–53.

AMT-2014-GholizadehDM #approach #model transformation #query

A Query Structured Approach for Model Transformation (HG, ZD, TSEM), pp. 54–63.

AMT-2014-ZhangBBEHKW #code generation #concurrent #java #state machine #towards

Towards Verified Java Code Generation from Concurrent State Machines (DZ, DB, MvdB, LE, CH, RK, AW), pp. 64–69.

AMT-2014-PoskittDPR #bidirectional #model transformation #towards

Towards Rigorously Faking Bidirectional Model Transformations (CMP, MD, RFP, AR), pp. 70–75.

AMT-2014-EramoMPR #bidirectional #nondeterminism #towards

Towards Analysing Non-Determinism in Bidirectional Transformations (RE, RM, AP, GR), pp. 76–85.