Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / [electronic resource] :
edited by Dimitris Kolovos, Manuel Wimmer.
- 1st ed. 2015.
- XIV, 231 p. 99 illus. online resource.
- Programming and Software Engineering, 9152 2945-9168 ; .
- Programming and Software Engineering, 9152 .
Change Management -- Reuse and industrial applications -- New paradigms for model Transformation -- Transformation validation and verification.- 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.
9783319211558
10.1007/978-3-319-21155-8 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Electronic data processing--Management.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
IT Operations.
QA76.758
005.1
Change Management -- Reuse and industrial applications -- New paradigms for model Transformation -- Transformation validation and verification.- 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.
9783319211558
10.1007/978-3-319-21155-8 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Electronic data processing--Management.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
IT Operations.
QA76.758
005.1