Dagstuhl Seminar Proceedings:
Transformation Techniques in Software Engineering 2005
James R. Cordy, Ralf Lämmel, Andreas Winter (Eds.):
Transformation Techniques in Software Engineering, 17.-22. April 2005.
Dagstuhl Seminar Proceedings 05161 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- 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.

Last update Sat May 18 18:21:31 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page