Dagstuhl Seminar Proceedings: Transformation Techniques in Software Engineering 2005

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