Description
Theory and Practice of Model Transformations, 2015
8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Programming and Software Engineering Series
Coordinators: Kolovos Dimitris, Wimmer Manuel
Language: EnglishSubject for Theory and Practice of Model Transformations:
Keywords
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
Support: Print on demand
Description
/li>Contents
/li>Comment
/li>
Includes supplementary material: sn.pub/extras