TY - BOOK AU - Ruscio,Davide Di AU - Varró,Dániel TI - Theory and Practice of Model Transformations: 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings SN - 9783319087894 PY - 2014/// CY - Cham PB - Springer International Publishing KW - Computer science KW - Software engineering KW - Programming languages (Electronic computers) KW - Computer logic KW - Management information systems N1 - On the Usage of TGGs for Automated Model Transformation Testing -- A Search Based Test Data Generation Approach for Model Transformations -- Test Data Generation for Model Transformations Combining Partition and Constraint Analysis -- Testing MOF Script Transformations with Handy MOF -- Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization -- Correctness of Incremental Model Synchronization with Triple Graph Grammars -- Towards a Language for Graph-Based Model Transformation Design Patterns -- Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report -- Triple Graph Grammars in the Large for Translating Satellite Procedures -- Developing eMoflon with eMoflon -- ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments -- Tracing Program Transformations with String Origins -- Transformation of UML and OCL Models into Filmstrip Models -- Reverse Engineering of Model Transformations for Reusability UR - http://dx.doi.org/10.1007/978-3-319-08789-4 ER -