LEADER 03697nam  22007335  450 
001 9910483627803321
005 20200629220748.0
010   $a3-319-21155-2
024 7 $a10.1007/978-3-319-21155-8
035   $a(CKB)3710000000454183
035   $a(SSID)ssj0001558642
035   $a(PQKBManifestationID)16183496
035   $a(PQKBTitleCode)TC0001558642
035   $a(PQKBWorkID)14818725
035   $a(PQKB)11720090
035   $a(DE-He213)978-3-319-21155-8
035   $a(MiAaPQ)EBC5591646
035   $a(PPN)187688680
035   $a(EXLCZ)993710000000454183
100   $a20150715d2015      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTheory and Practice of Model Transformations $e8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings /$fedited by Dimitris Kolovos, Manuel Wimmer
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XIV, 231 p. 99 illus.) 
225 1 $aProgramming and Software Engineering ;$v9152
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-21154-4 
320   $aIncludes bibliographical references and index.
327   $aChange Management -- Reuse and industrial applications -- New paradigms for model Transformation -- Transformation validation and verification.- Foundations of model transformation.
330   $aThis book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse and industrial applications; new paradigms for model transformation; transformation validation and verification; and foundations of model transformation.
410  0$aProgramming and Software Engineering ;$v9152
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aManagement information systems
606   $aComputer science
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   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aManagement of Computing and Information Systems.
676   $a005.1
702   $aKolovos$b Dimitris$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWimmer$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483627803321
996   $aTheory and Practice of Model Transformations$9774212
997   $aUNINA