Theory and Practice of Model Transformations (eBook)

8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

Dimitris Kolovos, Wimmer Manuel (Herausgeber)

eBook Download: PDF

2015 | 2015
XIV, 231 Seiten
Springer International Publishing (Verlag)
978-3-319-21155-8 (ISBN)

Infos

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.

Inhalt

Change Management.- Reuse and industrial applications.- New paradigms for model Transformation.- Transformation validation and verification.- Foundations of model transformation.

Produkt-Details

• Erscheint lt. Verlag: 15.7.2015
• Reihe/Serie: Lecture Notes in Computer Science
• Reihe/Serie: Programming and Software Engineering
• Verlagsort: Cham
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik
• Schlagworte: automated software engineering • automatic theorem proving • Bidirectional transformation • Incremental transformation • Intermediate verification language • Metamodeling • Model-Driven Software Engineering • Model queries • model transformation • model verification and validation • Nested graph conditions • Pattern Matching • Re-engineering • Reusability • Reverse Engineering • software development technique • Software engineering • transformation languages • triple graph grammars • Virtual machine
• ISBN-10: 3-319-21155-2 / 3319211552
• ISBN-13: 978-3-319-21155-8 / 9783319211558