03834nam 22007695 450 99646554100331620200706144119.03-642-21732-X10.1007/978-3-642-21732-6(CKB)2670000000095896(SSID)ssj0000530697(PQKBManifestationID)11367629(PQKBTitleCode)TC0000530697(PQKBWorkID)10569998(PQKB)11267181(DE-He213)978-3-642-21732-6(MiAaPQ)EBC3066895(PPN)153861622(EXLCZ)99267000000009589620110627d2011 u| 0engurnn|008mamaatxtccrTheory and Practice of Model Transformations[electronic resource] 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings /edited by Jordi Cabot, Eelco Visser1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (XII, 229 p. 94 illus., 42 illus. in color.) Programming and Software Engineering ;6707Bibliographic Level Mode of Issuance: Monograph3-642-21731-1 Includes bibliographical references and index.This book constitutes the refereed proceedings of the 4th International Conference, ICMT 2011, held in Zurich, Switzerland in June 2011. The 14 revised full papers were carefully revised and selected from 51 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. Topics addressed are such as transformation paradigms and languages, transformation algorithms and strategies, implementation and tools, as well as applications and case studies.Programming and Software Engineering ;6707Software engineeringComputer logicProgramming languages (Electronic computers)Computer communication systemsComputer programmingMathematical 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/I13022Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software engineering.Computer logic.Programming languages (Electronic computers).Computer communication systems.Computer programming.Mathematical logic.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Computer Communication Networks.Programming Techniques.Mathematical Logic and Formal Languages.005.1Cabot Jordiedthttp://id.loc.gov/vocabulary/relators/edtVisser Eelcoedthttp://id.loc.gov/vocabulary/relators/edtICMT 2011BOOK996465541003316Theory and Practice of Model Transformations774212UNISA00820nam0-22002651i-450 99000572545040332120240229100347.0000572545FED01000572545(Aleph)000572545FED0119990530d1937----km-y0itay50------baitay-------001yy<<Il >>Pantheon umbroGiacomo DevotoRomaTip. del Senato1937P. 160-16730 cmEstratto dal volume: Scritti in onore di Bartolomeo Nogara, raccolti in occasione del suo LXX annoDevoto,Giacomo<1897-1974>638ITUNINARICAUNIMARCBK990005725450403321GLOTT. A I e 20 (5)IST.GLOTT. S.I.FLFBCFLFBCPantheon umbro573501UNINA