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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jürgen Dingel, Sahar Kokaly, Levi Lucio, Rick Salay, Hans Vangheluwe, editors, 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. Volume 1500 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]

Conference: MoDELS2015

Abstract is missing.

Iterative Development of Transformation Models by Using Classifying TermsFrank Hilken, Loli Burgueño, Martin Gogolla, Antonio Vallecillo. 1-6 [doi]

Transformation Reuse: What is the Intent?Rick Salay, Steffen Zschaler, Marsha Chechik. 7-15 [doi]

Towards Benchmarking Evolution Support in Model-to-Text Transformation SystemsBernhard Hoisl, Stefan Sobernig. 16-25 [doi]

Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience ReportGehan M. K. Selim, James R. Cordy, Jürgen Dingel, Levi Lucio, Bentley J. Oakes. 26-35 [doi]

Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner. 36-45 [doi]

Analysis of Source-to-Target Model Transformations in QueSTHamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum. 46-55 [doi]

A Diagrammatic Approach to Model CompletionFazle Rabbi, Yngve Lamo, Ingrid Yu, Lars Kristensen. 56-65 [doi]

runs on WebDSL