Dagstuhl Seminar Proceedings 05161

Transformation Techniques in Software Engineering

J. R. Cordy, R. Lämmel, A. Winter (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 05161, 17.04. - 22.04.2005
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Cordy, James R.
  • Ehrig, Hartmut
  • Ehrig, Karsten
  • El-Ramly, Mohammad
  • Favre, Jean-Marie
  • Gogolla, Martin
  • Janssens, Dirk
  • Kraft, Nicholas A.
  • Lämmel, Ralf
  • Malloy, Brian A.
  • Pettorossi, Alberto
  • Power, James F.
  • Proietti, Maurizio
  • Senni, Valerio
  • Taentzer, Gabriele
  • Van Gorp, Pieter
  • Varró, Dániel
  • Varró-Gyapai, Szilvia
  • Vinju, Jurgen
  • Winter, Andreas
  • de Lara, Juan
    		•

    		  
    05161 Executive Summary -- Transformation Techniques in Software Engineering
    Authors: Cordy, James R. ; Lämmel, Ralf ; Winter, Andreas

    Abstract | Document (189 KB) | BibTeX

    CAViT: a Consistency Maintenance Framework based on Transformation Contracts
    Authors: Van Gorp, Pieter ; Janssens, Dirk

    Abstract | Document (464 KB) | BibTeX

    Experiences in Teaching Program Transformation for Software Reengineering
    Authors: El-Ramly, Mohammad

    Abstract | Document (242 KB) | Document 2 (306 KB) | BibTeX

    g4re: Harnessing GCC to Reverse Engineer C++ Applications
    Authors: Kraft, Nicholas A. ; Malloy, Brian A. ; Power, James F.

    Abstract | Document (296 KB) | BibTeX

    How to make a bridge between transformation and analysis technologies?
    Authors: Vinju, Jurgen ; Cordy, James R.

    Abstract | Document (226 KB) | BibTeX

    Megamodelling and Etymology
    Authors: Favre, Jean-Marie

    Abstract | Document (1,060 KB) | BibTeX

    Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs
    Authors: Pettorossi, Alberto ; Proietti, Maurizio ; Senni, Valerio

    Abstract | Document (100 KB) | BibTeX

    Tales of ER and RE Syntax and Semantics
    Authors: Gogolla, Martin

    Abstract | Document (365 KB) | BibTeX

    Termination Criteria for Model Transformation
    Authors: Ehrig, Hartmut ; Ehrig, Karsten ; Taentzer, Gabriele ; de Lara, Juan ; Varró, Dániel ; Varró-Gyapai, Szilvia

    Abstract | Document (220 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint
    Published by LZI