About these proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse and industrial applications; new paradigms for model transformation; transformation validation and verification; and foundations of model transformation.
Automated software engineering Automatic theorem proving Bidirectional transformation Incremental transformation Intermediate verification language Metamodeling Model queries Model transformation Model verification and validation Model-driven software engineering Nested graph conditions Pattern matching Re-engineering Reusability Reverse engineering Software development technique Software engineering Transformation languages Triple graph grammars Virtual machine