LEADER 00722nam0-22002771i-450- 001 990004349290403321 005 19990530 010 $a88-350-7971-3 035 $a000434929 035 $aFED01000434929 035 $a(Aleph)000434929FED01 035 $a000434929 100 $a19990530d1988----km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aCampania$fRaffaele Giglio 210 $aBrescia$cLa Scuola$dc1988. 215 $a415 p.$d22 cm 700 1$aGiglio,$bRaffaele$f<1947- >$0164868 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004349290403321 952 $a850.09 LRI I(5)$bBibl.14620$fFLFBC 959 $aFLFBC 996 $aCampania$9201607 997 $aUNINA LEADER 06032nam 22008175 450 001 996466436003316 005 20200703023134.0 010 $a1-280-38724-6 010 $a9786613565167 010 $a3-642-13688-5 024 7 $a10.1007/978-3-642-13688-7 035 $a(CKB)2670000000028982 035 $a(SSID)ssj0000446831 035 $a(PQKBManifestationID)11267878 035 $a(PQKBTitleCode)TC0000446831 035 $a(PQKBWorkID)10504473 035 $a(PQKB)11254757 035 $a(DE-He213)978-3-642-13688-7 035 $a(MiAaPQ)EBC3065437 035 $a(PPN)149063962 035 $a(EXLCZ)992670000000028982 100 $a20100629d2010 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] $eThird International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /$fedited by Laurence Tratt, Martin Gogolla 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (X, 278 p. 95 illus.) 225 1 $aProgramming and Software Engineering ;$v6142 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-13687-7 320 $aIncludes bibliographical references. 327 $aInvited Paper -- Search Computing: A Model-Driven Perspective -- Research Papers -- Domain-Specific Composition of Model Deltas -- Temporal Model-Based Diagnostics Generation for HVAC Control Systems -- Synthesis of OCL Pre-conditions for Graph Transformation Rules -- From State- to Delta-Based Bidirectional Model Transformations -- A Constructive Approach to Testing Model Transformations -- From Sequence Diagrams to State Machines by Graph Transformation -- Safe Composition of Transformations -- Towards Incremental Execution of ATL Transformations -- Constructing and Navigating Non-invasive Model Decorations -- Model-to-Model Transformations By Demonstration -- Implementing Business Process Recovery Patterns through QVT Transformations -- Model Migration with Epsilon Flock -- Exceptional Transformations -- Improving Higher-Order Transformations Support in ATL -- Towards a Rewriting Logic Semantics for ATL -- Metamodel Matching Based on Planar Graph Edit Distance -- Surviving the Heterogeneity Jungle with Composite Mapping Operators. 330 $aModel transformations are the glue that tie modelling activities together. If you?ve used modelling in anger then, whether you know it or not, you?ve used model transformations. They come in all shapes and sizes from moving models between di?erent tools to generating implementations. Model transformations have humble beginnings?at one point, not long ago, it was said by many ?in the know? that the way forward in model transformations was to use XSLT. That this idea now raises a wry smile shows how far the model transformation community has come in a short time. Where once model transformations were hacked together in a variety of unsuitable languages, we now have a number of powerful, dedicated languages and theories at our disposal. Since 2008, the ICMT conference series has played a huge part in advancing the subject, and this third edition was no di?erent. The theories and languages presented at ICMT have allowed principled model transformations to play an ever greater part in real systems. Of course there is still much more to do: we need our model transformations, languages, and theories to scale further, allow greater expressivity, be more ?exible, and aid reusability; and we lack empirically backed studies of model transformations in use. Doubtless you can think of other gaps. Yet, though some real-world challenges lie just beyond our reach,eachyearseesonce-dauntingproblemsconquered.Muchofthatprogressis nowdriven byICMT, andthis year?sedition showedhow model transformations are increasingly being used in previously unfamiliar areas. 410 0$aProgramming and Software Engineering ;$v6142 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer communication systems 606 $aComputer programming 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 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 607 $aMa?laga <2010>$2swd 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer communication systems. 615 0$aComputer programming. 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$aProgramming Techniques. 615 24$aMathematical Logic and Formal Languages. 676 $a005.10285 702 $aTratt$b Laurence$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGogolla$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aICMT 2010 906 $aBOOK 912 $a996466436003316 996 $aTheory and Practice of Model Transformations$9774212 997 $aUNISA LEADER 01032nam a22002771i 4500 001 991000731949707536 005 20040128160212.0 008 040220s1989 it |||||||||||||||||ita 020 $a8838601542 035 $ab12662033-39ule_inst 035 $aARCHE-066037$9ExL 040 $aDip.to Scienze pedagogiche$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a005.711 100 1 $aSpence, Rick$030491 245 10$aProgrammare in Clipper /$cRick Spence 260 $aMilano [etc.] :$bMcGraw-Hill libri Italia,$c1989 300 $a750 p. ;$c24 cm 440 0$aInformatica professionale 650 4$aArchivi di dati$xLiguaggio Clipper 650 4$aMicroelaboratori elettronici$xProgramma Clipper 907 $a.b12662033$b02-04-14$c17-03-04 912 $a991000731949707536 945 $aLE022 MP 125 A 24$g1$i2022000188128$lle022$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i13169282$z17-03-04 996 $aProgrammare in Clipper$9273138 997 $aUNISALENTO 998 $ale022$b17-03-04$cm$da $e-$fita$git $h0$i1