Dagstuhl Seminar Proceedings: Transformation Techniques in Software Engineering 2005

> Home > Series > Dagstuhl Seminar Proceedings

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/2005P5161
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2005P5161
James R. Cordy, Ralf Lämmel, Andreas Winter:
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
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/PettorossiPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/PettorossiPS05
Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/El-Ramly05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/El-Ramly05
Mohammad El-Ramly:
Experiences in Teaching Program Transformation for Software Reengineering.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/Favre05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Favre05
Jean-Marie Favre:
Megamodelling and Etymology.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/KraftMP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/KraftMP05
Nicholas A. Kraft, Brian A. Malloy, James F. Power:
g4re: Harnessing GCC to Reverse Engineer C++ Applications.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/Gogolla05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Gogolla05
Martin Gogolla:
Tales of ER and RE Syntax and Semantics.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/VinjuC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/VinjuC05
Jurgen J. Vinju, James R. Cordy:
How to make a bridge between transformation and analysis technologies?.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/EhrigETLVV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/EhrigETLVV05
Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay:
Termination Criteria for Model Transformation.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/GorpJ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GorpJ05
Pieter Van Gorp, Dirk Janssens:
CAViT: a Consistency Maintenance Framework based on Transformation Contracts.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/CordyLW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/CordyLW05
James R. Cordy, Ralf Lämmel, Andreas Winter:
05161 Executive Summary - Transformation Techniques in Software Engineering.

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.