LEADER 03834nam  22007695  450 
001 996465541003316
005 20200706144119.0
010   $a3-642-21732-X
024 7 $a10.1007/978-3-642-21732-6
035   $a(CKB)2670000000095896
035   $a(SSID)ssj0000530697
035   $a(PQKBManifestationID)11367629
035   $a(PQKBTitleCode)TC0000530697
035   $a(PQKBWorkID)10569998
035   $a(PQKB)11267181
035   $a(DE-He213)978-3-642-21732-6
035   $a(MiAaPQ)EBC3066895
035   $a(PPN)153861622
035   $a(EXLCZ)992670000000095896
100   $a20110627d2011      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] $e4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings /$fedited by Jordi Cabot, Eelco Visser
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XII, 229 p. 94 illus., 42 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v6707
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-21731-1 
320   $aIncludes bibliographical references and index.
330   $aThis 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.
410  0$aProgramming and Software Engineering ;$v6707
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
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.1
702   $aCabot$b Jordi$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVisser$b Eelco$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aICMT 2011
906   $aBOOK
912   $a996465541003316
996   $aTheory and Practice of Model Transformations$9774212
997   $aUNISA