Dagstuhl Seminar Proceedings, Volume 5161,

• James R. Cordy, Ralf Lämmel, and Andreas Winter 05161 Executive Summary – Transformation Techniques in Software Engineering 10.4230/DagSemProc.05161.1
• Pieter Van Gorp and Dirk Janssens CAViT: a Consistency Maintenance Framework based on Transformation Contracts 10.4230/DagSemProc.05161.2
• Mohammad El-Ramly Experiences in Teaching Program Transformation for Software Reengineering 10.4230/DagSemProc.05161.3
• Nicholas A. Kraft, Brian A. Malloy, and James F. Power g4re: Harnessing GCC to Reverse Engineer C++ Applications 10.4230/DagSemProc.05161.4
• Jurgen Vinju and James R. Cordy How to make a bridge between transformation and analysis technologies? 10.4230/DagSemProc.05161.5
• Jean-Marie Favre Megamodelling and Etymology 10.4230/DagSemProc.05161.6
• Alberto Pettorossi, Maurizio Proietti, and Valerio Senni Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs 10.4230/DagSemProc.05161.7
• Martin Gogolla Tales of ER and RE Syntax and Semantics 10.4230/DagSemProc.05161.8
• Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, and Szilvia Varró-Gyapai Termination Criteria for Model Transformation 10.4230/DagSemProc.05161.9