default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl 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.
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.
last updated on 2024-10-04 20:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
