Transformation Techniques in Software Engineering

Keyphrases

Publications

volume 5161, 2006

Transformation Techniques in Software Engineering, 17.-22. April 2005 Transformation Techniques in Software Engineering 5161 (2006)

2005

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