Amazon cover image
Image from Amazon.com

Theory and practice of model transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / Keith Duddy, Gerti Kappel (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 7909. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Berlin : Springer, [2013]Copyright date: ©2013Description: 1 online resource (xiv, 220 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642388835
  • 3642388833
  • 3642388825
  • 9783642388828
Other title:
  • ICMT 2013
Subject(s): Genre/Form: Additional physical formats: Print version: ICMT (Conference) (6th : 2013 : Budapest, Hungary).: Theory and practice of model transformations.DDC classification:
  • 005.1 23
LOC classification:
  • QA76.76.D47 I26 2013
NLM classification:
  • QA 76.76.D47
Other classification:
  • 54.52
Online resources:
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.
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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

International conference proceedings.

Includes author index.

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.

Includes bibliographical references and index.

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.

Powered by Koha