TY - BOOK AU - Duddy,Keith AU - Kappel,Gerti ED - SpringerLink (Online service) TI - Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783642388835 AV - QA76.758 U1 - 005.1 23 PY - 2013/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg, Imprint: Springer KW - Computer science KW - Software engineering KW - Programming languages (Electronic computers) KW - Computer logic KW - Management information systems KW - Computer Science KW - Software Engineering KW - Logics and Meanings of Programs KW - Programming Languages, Compilers, Interpreters KW - Management of Computing and Information Systems N1 - 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 N2 - 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 UR - http://dx.doi.org/10.1007/978-3-642-38883-5 ER -