AMT@MoDELS

Keyphrases

Publications

2015

Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
A Diagrammatic Approach to Model Completion. AMT@MoDELS (2015)
Frank Hilken, Loli Burgueño, Martin Gogolla, Antonio Vallecillo
Iterative Development of Transformation Models by Using Classifying Terms. AMT@MoDELS (2015)
Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum
Analysis of Source-to-Target Model Transformations in QueST. AMT@MoDELS (2015)
Gehan M. K. Selim, James R. Cordy, Jürgen Dingel, Levi Lucio, Bentley J. Oakes
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report. AMT@MoDELS (2015)
Bernhard Hoisl, Stefan Sobernig
Towards Benchmarking Evolution Support in Model-to-Text Transformation Systems. AMT@MoDELS (2015)
Rick Salay, Steffen Zschaler, Marsha Chechik
Transformation Reuse: What is the Intent? AMT@MoDELS (2015)
Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. AMT@MoDELS (2015)

volume 1500, 2015

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 28, 2015. AMT@MoDELS 1500 (2015)

2014

volume 1277, 2014

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014. AMT@MoDELS 1277 (2014)

2013

volume 1077, 2013

Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013 AMT@MoDELS 1077 (2013)

2012