LEADER 03428nam  22006615  450 
001 9910483109003321
005 20251226193539.0
010   $a3-642-38883-3
024 7 $a10.1007/978-3-642-38883-5
035   $a(CKB)2560000000105675
035   $a(DE-He213)978-3-642-38883-5
035   $a(SSID)ssj0000936737
035   $a(PQKBManifestationID)11501570
035   $a(PQKBTitleCode)TC0000936737
035   $a(PQKBWorkID)10962814
035   $a(PQKB)11428286
035   $a(MiAaPQ)EBC3096800
035   $a(PPN)170492869
035   $a(EXLCZ)992560000000105675
100   $a20130613d2013      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTheory and Practice of Model Transformations $e6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings /$fedited by Keith Duddy, Gerti Kappel
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XIV, 221 p. 85 illus.)
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v7909
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-642-38882-5 
327   $aMining Models from Generated System Tests -- Streaming model transformations: scenarios, challenges and initial solutions -- Genetic-Programming Approach to Learn Model Transformation Rules from Examples -- Walk Your Tree Any Way You Want -- On an Automated Translation of Satellite Procedures Using Triple Graph Grammars -- The Graph Grammar Library - a generic framework for chemical graph rewrite systems -- Yet Another Three QVT Languages -- Evolution and Synchronisation -- Robust Real-Time Synchronization between Textual and Graphical Editors.
330   $aThis book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. The 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. The papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v7909
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   $aDuddy$b Keith$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKappel$b Gerti$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910483109003321
996   $aTheory and Practice of Model Transformations$9774212
997   $aUNINA