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 Transformations774212UNISA01009nam2 22002653i 450 MIL011862520231121125535.020031209d1991 ||||0itac50 baitaitz01i xxxe z01n1BolognaPatron1991XXIII, 265 p.ill.24 cm.001MIL01186232001 ˜La œlettura geografica, il linguaggio geografico, i contenuti geografici a servizio dell'uomostudi in onore di Osvaldo Baldaccicoordinatori: Cosimo Palagiano ... et al.!1ITIT-0120031209IT-RM0290 IT-FR0017 BIBLIOTECA ANGELICARM0290 Biblioteca umanistica Giorgio ApreaFR0017 NMIL0118625Biblioteca umanistica Giorgio Aprea 52MAG 5/1839.1 52FLS0000273155 VMN RS A 2017101020171010 06 52161339UNICAS