Theory and practice of model transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings /

Theory and practice of model transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings /

Saved in:
Bibliographic Details
Meeting name:ICMT (Conference) (6th : 2013 : Budapest, Hungary)
Imprint:Berlin : Springer, [2013]
©2013
Description:1 online resource (xiv, 220 pages) : illustrations.
Language:English
Series:Lecture notes in computer science, 0302-9743 ; 7909
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7909.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject:
Model-driven software architecture -- Congresses.
Computer software -- Development -- Congresses.
Computer software -- Development.
Model-driven software architecture.
Software.
Conference papers and proceedings.
Congresses.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11079003
Hidden Bibliographic Details
Varying Form of Title:ICMT 2013
Other authors / contributors:Duddy, Keith, 1967- editor.
Kappel, Gerti, editor.
ISBN:9783642388835
3642388833
3642388825
9783642388828
9783642388828
Notes:International conference proceedings.
Includes author index.
Includes bibliographical references and index.
Summary:This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.
Other form:Print version: ICMT (Conference) (6th : 2013 : Budapest, Hungary). Theory and practice of model transformations. Berlin : Springer, [2013] 9783642388828
Standard no.:10.1007/978-3-642-38883-5
Table of Contents:
  • New Programming Models. Streaming Model Transformations: Scenarios, Challenges and Initial Solutions / Jesús Sánchez Cuadrado, Juan de Lara
  • Genetic-Programming Approach to Learn Model Transformation Rules from Examples / Martin Faunes, Houari Sahraoui, Mounir Boukadoum
  • Walk Your Tree Any Way You Want / Anya Helene Bagge, Ralf Lämmel
  • Tools and Applications (Extended Abstracts). On an Automated Translation of Satellite Procedures Using Triple Graph Grammars / Frank Hermann [and others]
  • The Graph Grammar Library
  • A Generic Framework for Chemical Graph Rewrite Systems / Martin Mann, Heinz Ekker, Christoph Flamm
  • Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract) / Markus Lepper, Baltasar Trancón y Widemann
  • Model Querying with FunnyQT / Tassilo Horn
  • Yet Another Three QVT Languages / Edward Willink, Horacio Hoyos, Dimitris Kolovos
  • Evolution and Synchronisation. A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations / Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio
  • Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations / Christian Krause, Johannes Dyck, Holger Giese
  • Robust Real-Time Synchronization between Textual and Graphical Editors / Oskar van Rest [and others]
  • Transformation Engineering. Achieving Practical Genericity in Model Weaving through Extensibility / Max E. Kramer [and others]
  • A Rete Network Construction Algorithm for Incremental Pattern Matching / Gergely Varró, Frederik Deckwerth
  • Interactive Visual Analytics for Efficient Maintenance of Model Transformations / Andreas Rentschler [and others]
  • Checking Model Transformation Refinement / Fabian Büttner [and others]
  • Testing. Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations / Stephan Hildebrandt, Leen Lambers, Holger Giese
  • Partial Test Oracle in Model Transformation Testing / Olivier Finot [and others]
  • Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns / Martin Wieber, Andy Schürr.

Similar Items