Abstract is missing.
- Termination Criteria for Model TransformationHartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay. [doi]
- Tales of ER and RE Syntax and SemanticsMartin Gogolla. [doi]
- g4re: Harnessing GCC to Reverse Engineer C++ ApplicationsNicholas A. Kraft, Brian A. Malloy, James F. Power. [doi]
- CAViT: a Consistency Maintenance Framework based on Transformation ContractsPieter Van Gorp, Dirk Janssens. [doi]
- How to make a bridge between transformation and analysis technologies?Jurgen J. Vinju, James R. Cordy. [doi]
- Megamodelling and EtymologyJean-Marie Favre. [doi]
- Experiences in Teaching Program Transformation for Software ReengineeringMohammad El-Ramly. [doi]
- Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic ProgramsAlberto Pettorossi, Maurizio Proietti, Valerio Senni. [doi]
- 05161 Executive Summary - Transformation Techniques in Software EngineeringJames R. Cordy, Ralf Lämmel, Andreas Winter. [doi]