![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Dagstuhl Seminar Proceedings: Transformation Techniques in Software Engineering 2005
- 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 - 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.
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.