LEADER 03276nam  22007095  450 
001 9910483627803321
005 20251226200548.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,$x2945-9168 ;$v9152
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$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,$x2945-9168 ;$v9152
606   $aSoftware engineering
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aElectronic data processing$xManagement
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aIT Operations
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aElectronic data processing$xManagement.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aIT Operations.
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