๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

Theory and Practice of Model Transformation

โœ Scribed by Arend Rensink, Jesรบs Sรกnchez Cuadrado

Publisher
Springer International Publishing
Year
2018
Tongue
English
Leaves
203
Series
Lecture Notes in Computer Science 10888
Edition
1st ed.
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis

This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of four sessions on verification of model transformations, model transformation tools, transformation reuse and graph transformations.

โœฆ Table of Contents

Front Matter ....Pages I-XII
Front Matter ....Pages 1-1
The Design, Evolution, and Use of KernelF (Markus Voelter)....Pages 3-55
Front Matter ....Pages 57-57
Virtual Network Embedding: Reducing the Search Space by Model Transformation Techniques (Stefan Tomaszek, Erhan Leblebici, Lin Wang, Andy Schรผrr)....Pages 59-75
Schema Transformations and Query Rewriting in Ontological Databases with a Faceted Interface (Tadeusz Pankowski)....Pages 76-91
Model Transformation Reuse Across Metamodels (Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jรฉzรฉquel, Jรถrg Kienzle, Juan de Lara et al.)....Pages 92-109
Systematic Recovery of MDE Technology Usage (Juri Di Rocco, Davide Di Ruscio, Johannes Hรคrtel, Ludovico Iovino, Ralf Lรคmmel, Alfonso Pierantonio)....Pages 110-126
Technical Debt in Model Transformation Specifications (Kevin Lano, Shekoufeh Kolahdouz-Rahimi, Mohammadreza Sharbaf, Hessa Alfraihi)....Pages 127-141
CoqTL: An Internal DSL for Model Transformation in Coq (Massimo Tisi, Zheng Cheng)....Pages 142-156
A Formal Framework for Prototyping Executable Semantics in ATL (Artur Boronat)....Pages 157-172
Front Matter ....Pages 173-173
Scalable Queries and Model Transformations with the Mogwaรฏ Tool (Gwendal Daniel, Gerson Sunyรฉ, Jordi Cabot)....Pages 175-183
NMF: A Multi-platform Modeling Framework (Georg Hinkel)....Pages 184-194
Back Matter ....Pages 195-195

โœฆ Subjects

Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Systems and Data Security; Operating Systems; System Performance and Evaluation

๐Ÿ“œ SIMILAR VOLUMES

Transportation Engineering: Theory, Prac
๐Ÿ“ Transportation Engineering: Theory, Practice, and Modeling
โœ Dusan Teodorovic, Milan Janic ๐Ÿ“‚ Library ๐Ÿ“… 2022 ๐Ÿ› Butterworth-Heinemann ๐ŸŒ English

<p><span>Transportation Engineering: Theory, Practice and Modeling, Second Edition</span><span> presents comprehensive information related to traffic engineering and control, transportation planning and evaluation of transportation alternatives. The book systematically deals with almost the entire t

Transportation Engineering. Theory, Prac
๐Ÿ“ Transportation Engineering. Theory, Practice and Modeling
โœ Dusan Teodorovic, Milan Janic ๐Ÿ“‚ Library ๐Ÿ“… 2016 ๐Ÿ› Butterworth-Heinemann ๐ŸŒ English

<p><i>Transportation Engineering: Theory, Practice and Modeling</i> is a guide for integrating multi-modal transportation networks and assessing their potential cost and impact on society and the environment. Clear and rigorous in its coverage, the authors begin with an exposition of theory related

Theory and Practice of Geometric Modelin
๐Ÿ“ Theory and Practice of Geometric Modeling
โœ Hans Meier (auth.), Wolfgang StraรŸer, Hans-Peter Seidel (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 1989 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<p>This book is a result of the lectures and discussions during the conference "Theory and Practice of Geometric Modeling". The event has been organized by the Wilhelm-Schickard-Institut fiir Informatik, Universitat Tiibingen and took place at the Heinrich-Fabri-Institut in Blaubeuren from October 3

Fundamentals of Nursing Models, Theories
๐Ÿ“ Fundamentals of Nursing Models, Theories and Practice
โœ Hugh McKenna, Majda Pajnkihar, Fiona Murphy ๐Ÿ“‚ Library ๐Ÿ“… 2014 ๐Ÿ› Wiley-Blackwell ๐ŸŒ English

<p>A concise, accessible introduction to the development, application and evaluation of nursing theories, this new edition of <i>Fundamentals of Nursing Models, Theories & Practice</i> provides a thorough overview of the body of knowledge on the topic, and a clear outline of their relevance to every

Model Theory and Modules
๐Ÿ“ Model Theory and Modules
โœ M. Prest ๐Ÿ“‚ Library ๐Ÿ“… 1988 ๐Ÿ› Cambridge University Press ๐ŸŒ English

Professor Prest is the first to address the topic of the development of the interplay between model theory and the theory of modules. In recent years the relationship between model theory and other branches of mathematics has led to many profound and intriguing results. This self-contained introduct

Model Theory and Modules
๐Ÿ“ Model Theory and Modules
โœ M. Prest ๐Ÿ“‚ Library ๐Ÿ“… 1988 ๐Ÿ› Cambridge University Press ๐ŸŒ English

Professor Prest is the first to address the topic of the development of the interplay between model theory and the theory of modules. In recent years the relationship between model theory and other branches of mathematics has led to many profound and intriguing results. This self-contained introduct