03428nam 22006615 450 991048310900332120251226193539.03-642-38883-310.1007/978-3-642-38883-5(CKB)2560000000105675(DE-He213)978-3-642-38883-5(SSID)ssj0000936737(PQKBManifestationID)11501570(PQKBTitleCode)TC0000936737(PQKBWorkID)10962814(PQKB)11428286(MiAaPQ)EBC3096800(PPN)170492869(EXLCZ)99256000000010567520130613d2013 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierTheory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings /edited by Keith Duddy, Gerti Kappel1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (XIV, 221 p. 85 illus.)Programming and Software Engineering,2945-9168 ;7909Bibliographic Level Mode of Issuance: Monograph3-642-38882-5 Mining 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.This 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.Programming and Software Engineering,2945-9168 ;7909Software engineeringComputer scienceCompilers (Computer programs)Electronic data processingManagementSoftware EngineeringComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersIT OperationsSoftware engineering.Computer science.Compilers (Computer programs)Electronic data processingManagement.Software Engineering.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.IT Operations.005.1Duddy Keithedthttp://id.loc.gov/vocabulary/relators/edtKappel Gertiedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910483109003321Theory and Practice of Model Transformations774212UNINA