06116nam 22007575 450 99646541910331620200702192502.03-642-30476-110.1007/978-3-642-30476-7(CKB)3400000000085293(SSID)ssj0000697634(PQKBManifestationID)11460674(PQKBTitleCode)TC0000697634(PQKBWorkID)10691111(PQKB)10935393(DE-He213)978-3-642-30476-7(MiAaPQ)EBC3071060(PPN)168316862(EXLCZ)99340000000008529320120525d2012 u| 0engurnn|008mamaatxtccrTheory 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 Lara1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (X, 297 p. 115 illus.) Programming and Software Engineering ;7307Bibliographic Level Mode of Issuance: Monograph3-642-30475-3 Includes bibliographical references and index.How clean is your sandbox?: towards a unified theoretical framework for incremental bidirectional transformations /James F. Terwilliger,Anthony CleveandCarlo A. Curino --Using models of partial knowledge to test model transformations /Sagar Sen,Jean-Marie Mottu,Massimo TisiandJordi Cabot --Specification-driven test generation for model transformations /Esther Guerra --Typing model transformations using tracts /Antonio VallecilloandMartin Gogolla --Reusable and correct endogenous model transformations /Suzana Andova,Mark G. J. van den BrandandLuc Engelen --Multifocal: a strategic bidirectional transformation language for XML schemas /Hugo PachecoandAlcino Cunha --Bidirectional transformation of model-driven spreadsheets /Jácome Cunha,João P. Fernandes,Jorge Mendes,Hugo PachecoandJoão Saraiva --Domain-specific optimization in digital forensics /Jeroen van den BosandTijs van der Storm --Empirical assessment of business model transformations based on model simulation /María Fernández-Ropero,Ricardo Pérez-Castillo,Barbara WeberandMario Piattini --Traceability visualization in model transformations with TraceVis /Marcel F. van Amstel,Mark G. J. van den BrandandAlexander SerebrenikType-safe model transformation languages as internal DSLs in Scala /Lars George,Arif WiderandMarkus Scheidgen --Towards a family of model transformation languages /Jesús Sánchez Cuadrado --Translational semantics of a co-evolution specific language with the EMF transformation virtual machine /Dennis Wagelaar,Ludovico Iovino,Davide Di RuscioandAlfonso Pierantonio --Towards multi-level aware model transformations /Colin Atkinson,Ralph GerbigandChristian Tunjic --AnAlgorithm for generating model-sensitive search plans for EMF models /Gergely Varró,Frederik Deckwerth,Martin WieberandAndy Schürr --Paisley: pattern matching à la carte /Baltasar Trancón y WidemannandMarkus Lepper --Constraint-driven modeling through transformation /Andreas Demuth,Roberto E. Lopez-HerrejonandAlexander Egyed --TheImpact 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 RetschitzeggerandJohannes Schönböck,et al.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.Programming and Software Engineering ;7307Software engineeringComputer logicProgramming languages (Electronic computers)Computer communication systemsMathematical logicSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Conference proceedings.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.005.1Hu Zhenjiangedthttp://id.loc.gov/vocabulary/relators/edtde Lara Juanedthttp://id.loc.gov/vocabulary/relators/edtICMT 2012BOOK996465419103316Theory and Practice of Model Transformations774212UNISA