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. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 Dagstuhl Seminar Proceedings 05161- 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.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team