| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465419103316 |
|
|
Titolo |
Theory and Practice of Model Transformations [[electronic resource] ] : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings / / edited by Zhenjiang Hu, Juan de Lara |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2012.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 297 p. 115 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 7307 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer logic |
Programming languages (Electronic computers) |
Computer communication systems |
Mathematical logic |
Software Engineering |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Computer Communication Networks |
Mathematical Logic and Formal Languages |
Conference proceedings. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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 |
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. |
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
| |