/LC.GIF&client=easterncarolinaedu)
Theory and practice of model transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings / Zhenjiang Hu, Juan de Lara (eds.).
| Author/creator | ICMT 2012 |
| Other author | Hu, Zhenjiang, 1966- |
| Other author | Lara, Juan de (Lara Jaramillo) |
| Format | Electronic |
| Publication Info | Berlin : Springer, |
| Description | x, 295 p. : ill ; 24 cm. |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2012 English International |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Portion of title | ICMT 2012. |
| Series | Lecture notes in computer science, 0302-9743 ; 7307. LNCS sublibrary. SL 2, Programming and software engineering. Lecture notes in computer science ; 7307. ^A466336 LNCS sublibrary. SL 2, Programming and software engineering. UNAUTHORIZED |
| Contents | How clean is your sandbox?: towards a unified theoretical framework for incremental bidirectional transformations / James F. Terwilliger, Anthony Cleve and Carlo A. Curino -- Using models of partial knowledge to test model transformations / Sagar Sen, Jean-Marie Mottu, Massimo Tisi and Jordi Cabot -- Specification-driven test generation for model transformations / Esther Guerra -- Typing model transformations using tracts / Antonio Vallecillo and Martin Gogolla -- Reusable and correct endogenous model transformations / Suzana Andova, Mark G. J. van den Brand and Luc Engelen -- Multifocal: a strategic bidirectional transformation language for XML schemas / Hugo Pacheco and Alcino Cunha -- Bidirectional transformation of model-driven spreadsheets / Jácome Cunha, João P. Fernandes, Jorge Mendes, Hugo Pacheco and João Saraiva -- Domain-specific optimization in digital forensics / Jeroen van den Bos and Tijs van der Storm -- Empirical assessment of business model transformations based on model simulation / María Fernández-Ropero, Ricardo Pérez-Castillo, Barbara Weber and Mario Piattini -- Traceability visualization in model transformations with TraceVis / Marcel F. van Amstel, Mark G. J. van den Brand and Alexander Serebrenik |
| Contents | Type-safe model transformation languages as internal DSLs in Scala / Lars George, Arif Wider and Markus Scheidgen -- Towards a family of model transformation languages / Jesús Sánchez Cuadrado -- Translational semantics of a co-evolution specific language with the EMF transformation virtual machine / Dennis Wagelaar, Ludovico Iovino, Davide Di Ruscio and Alfonso Pierantonio -- Towards multi-level aware model transformations / Colin Atkinson, Ralph Gerbig and Christian Tunjic -- An Algorithm for generating model-sensitive search plans for EMF models / Gergely Varró, Frederik Deckwerth, Martin Wieber and Andy Schürr -- Paisley: pattern matching à la carte / Baltasar Trancón y Widemann and Markus Lepper -- Constraint-driven modeling through transformation / Andreas Demuth, Roberto E. Lopez-Herrejon and Alexander Egyed -- The Impact of class model redesign on state machines / Piotr Kosiuczenko -- Fact or fiction - reuse in rule-based Model-to-Model transformation languages / Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger and Johannes Schönböck, et al. |
| Abstract | This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization. |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2012937671 |
| ISBN | 9783642304750 (pbk. : acid-free paper) |
| ISBN | 3642304753 (pbk. : acid-free paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |