@InProceedings{cordy_et_al:DagSemProc.05161.1,
author = {Cordy, James R. and L\"{a}mmel, Ralf and Winter, Andreas},
title = {{05161 Executive Summary – Transformation Techniques in Software Engineering}},
booktitle = {Transformation Techniques in Software Engineering},
pages = {1--24},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5161},
editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.1},
URN = {urn:nbn:de:0030-drops-4978},
doi = {10.4230/DagSemProc.05161.1},
annote = {Keywords: Program transformation, transformational programming, generative programming, generative language technology, automated software testing, engineering of metamodels, engineering for XML schemas, engineering of data models}
}
@InProceedings{vangorp_et_al:DagSemProc.05161.2,
author = {Van Gorp, Pieter and Janssens, Dirk},
title = {{CAViT: a Consistency Maintenance Framework based on Transformation Contracts}},
booktitle = {Transformation Techniques in Software Engineering},
pages = {1--27},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5161},
editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.2},
URN = {urn:nbn:de:0030-drops-4294},
doi = {10.4230/DagSemProc.05161.2},
annote = {Keywords: Consistency maintenance, metamodeling, transformation, graph rewriting, UML, OCL, MOF}
}
@InProceedings{elramly:DagSemProc.05161.3,
author = {El-Ramly, Mohammad},
title = {{Experiences in Teaching Program Transformation for Software Reengineering}},
booktitle = {Transformation Techniques in Software Engineering},
pages = {1--6},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5161},
editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.3},
URN = {urn:nbn:de:0030-drops-4230},
doi = {10.4230/DagSemProc.05161.3},
annote = {Keywords: Teaching Program Transformation, Reengineering, Source to Source Transformation, Software Engineering Education}
}
@InProceedings{kraft_et_al:DagSemProc.05161.4,
author = {Kraft, Nicholas A. and Malloy, Brian A. and Power, James F.},
title = {{g4re: Harnessing GCC to Reverse Engineer C++ Applications}},
booktitle = {Transformation Techniques in Software Engineering},
pages = {1--11},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5161},
editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.4},
URN = {urn:nbn:de:0030-drops-4244},
doi = {10.4230/DagSemProc.05161.4},
annote = {Keywords: Reverse engineering, schema, GXL}
}
@InProceedings{vinju_et_al:DagSemProc.05161.5,
author = {Vinju, Jurgen and Cordy, James R.},
title = {{How to make a bridge between transformation and analysis technologies?}},
booktitle = {Transformation Techniques in Software Engineering},
pages = {1--7},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5161},
editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.5},
URN = {urn:nbn:de:0030-drops-4265},
doi = {10.4230/DagSemProc.05161.5},
annote = {Keywords: Transformation, analysis, fact extraction, middleware, source code representations}
}
@InProceedings{favre:DagSemProc.05161.6,
author = {Favre, Jean-Marie},
title = {{Megamodelling and Etymology}},
booktitle = {Transformation Techniques in Software Engineering},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5161},
editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.6},
URN = {urn:nbn:de:0030-drops-4276},
doi = {10.4230/DagSemProc.05161.6},
annote = {Keywords: MDE, MDD, MDA, Model Driven Architecture, Model, Metamodel, Etymology, Definition, Taxonomy}
}
@InProceedings{pettorossi_et_al:DagSemProc.05161.7,
author = {Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio},
title = {{Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs}},
booktitle = {Transformation Techniques in Software Engineering},
pages = {1--1},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5161},
editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.7},
URN = {urn:nbn:de:0030-drops-4225},
doi = {10.4230/DagSemProc.05161.7},
annote = {Keywords: Program properties, unfold/fold transformation, constraint logic programming}
}
@InProceedings{gogolla:DagSemProc.05161.8,
author = {Gogolla, Martin},
title = {{Tales of ER and RE Syntax and Semantics}},
booktitle = {Transformation Techniques in Software Engineering},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5161},
editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.8},
URN = {urn:nbn:de:0030-drops-4254},
doi = {10.4230/DagSemProc.05161.8},
annote = {Keywords: Datamodel transformation, ER datamodel, Relational datamodel, Syntax and semantics of datamodels, Syntax and semantics of transformations, Metamodel}
}
@InProceedings{ehrig_et_al:DagSemProc.05161.9,
author = {Ehrig, Hartmut and Ehrig, Karsten and Taentzer, Gabriele and de Lara, Juan and Varr\'{o}, D\'{a}niel and Varr\'{o}-Gyapai, Szilvia},
title = {{Termination Criteria for Model Transformation}},
booktitle = {Transformation Techniques in Software Engineering},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5161},
editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.9},
URN = {urn:nbn:de:0030-drops-4280},
doi = {10.4230/DagSemProc.05161.9},
annote = {Keywords: Model transformation, graph transformation, consistency}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing