LEADER 06116nam 22007575 450 001 996465419103316 005 20200702192502.0 010 $a3-642-30476-1 024 7 $a10.1007/978-3-642-30476-7 035 $a(CKB)3400000000085293 035 $a(SSID)ssj0000697634 035 $a(PQKBManifestationID)11460674 035 $a(PQKBTitleCode)TC0000697634 035 $a(PQKBWorkID)10691111 035 $a(PQKB)10935393 035 $a(DE-He213)978-3-642-30476-7 035 $a(MiAaPQ)EBC3071060 035 $a(PPN)168316862 035 $a(EXLCZ)993400000000085293 100 $a20120525d2012 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheory and Practice of Model Transformations$b[electronic resource] $e5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings /$fedited by Zhenjiang Hu, Juan de Lara 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (X, 297 p. 115 illus.) 225 1 $aProgramming and Software Engineering ;$v7307 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-30475-3 320 $aIncludes bibliographical references and index. 327 $tHow clean is your sandbox?: towards a unified theoretical framework for incremental bidirectional transformations /$rJames F. Terwilliger,$rAnthony Cleve$gand$rCarlo A. Curino --$tUsing models of partial knowledge to test model transformations /$rSagar Sen,$rJean-Marie Mottu,$rMassimo Tisi$gand$rJordi Cabot --$tSpecification-driven test generation for model transformations /$rEsther Guerra --$tTyping model transformations using tracts /$rAntonio Vallecillo$gand$rMartin Gogolla --$tReusable and correct endogenous model transformations /$rSuzana Andova,$rMark G. J. van den Brand$gand$rLuc Engelen --$tMultifocal: a strategic bidirectional transformation language for XML schemas /$rHugo Pacheco$gand$rAlcino Cunha --$tBidirectional transformation of model-driven spreadsheets /$rJa?come Cunha,$rJoa?o P. Fernandes,$rJorge Mendes,$rHugo Pacheco$gand$rJoa?o Saraiva --$tDomain-specific optimization in digital forensics /$rJeroen van den Bos$gand$rTijs van der Storm --$tEmpirical assessment of business model transformations based on model simulation /$rMari?a Ferna?ndez-Ropero,$rRicardo Pe?rez-Castillo,$rBarbara Weber$gand$rMario Piattini --$tTraceability visualization in model transformations with TraceVis /$rMarcel F. van Amstel,$rMark G. J. van den Brand$gand$rAlexander Serebrenik 327 $tType-safe model transformation languages as internal DSLs in Scala /$rLars George,$rArif Wider$gand$rMarkus Scheidgen --$tTowards a family of model transformation languages /$rJesu?s Sa?nchez Cuadrado --$tTranslational semantics of a co-evolution specific language with the EMF transformation virtual machine /$rDennis Wagelaar,$rLudovico Iovino,$rDavide Di Ruscio$gand$rAlfonso Pierantonio --$tTowards multi-level aware model transformations /$rColin Atkinson,$rRalph Gerbig$gand$rChristian Tunjic --$gAn$tAlgorithm for generating model-sensitive search plans for EMF models /$rGergely Varro?,$rFrederik Deckwerth,$rMartin Wieber$gand$rAndy Schu?rr --$tPaisley: pattern matching a? la carte /$rBaltasar Tranco?n y Widemann$gand$rMarkus Lepper --$tConstraint-driven modeling through transformation /$rAndreas Demuth,$rRoberto E. Lopez-Herrejon$gand$rAlexander Egyed --$gThe$tImpact of class model redesign on state machines /$rPiotr Kosiuczenko --$tFact or fiction - reuse in rule-based Model-to-Model transformation languages /$rManuel Wimmer,$rGerti Kappel,$rAngelika Kusel,$rWerner Retschitzegger$gand$rJohannes Scho?nbo?ck,$get al. 330 $aThis 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. 410 0$aProgramming and Software Engineering ;$v7307 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer communication systems 606 $aMathematical logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 608 $aConference proceedings. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer communication systems. 615 0$aMathematical logic. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer Communication Networks. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1 702 $aHu$b Zhenjiang$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Lara$b Juan$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aICMT 2012 906 $aBOOK 912 $a996465419103316 996 $aTheory and Practice of Model Transformations$9774212 997 $aUNISA