Theory and Practice of Model Transformations

Beschreibung

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.
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.
Includes supplementary material: sn.pub/extras

Autor*in

Dimitris Kolovos

Themen in »Theory and Practice of Model Transformations«

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

Stimmen zu »Theory and Practice of Model Transformations«

Details

Link teilen