HTML Export for Dagstuhl Seminar Proceedings, Volume 5161

Copy to Clipboard Download

<h2>Dagstuhl Seminar Proceedings, Volume 5161, </h2>
<ul>
<li>
    <span class="authors">James R. Cordy, Ralf Lämmel, and Andreas Winter</span>
    <span class="title">05161 Executive Summary – Transformation Techniques in Software Engineering</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05161.1">10.4230/DagSemProc.05161.1</a>
</li>
<li>
    <span class="authors">Pieter Van Gorp and Dirk Janssens</span>
    <span class="title">CAViT: a Consistency Maintenance Framework based on Transformation Contracts</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05161.2">10.4230/DagSemProc.05161.2</a>
</li>
<li>
    <span class="authors">Mohammad El-Ramly</span>
    <span class="title">Experiences in Teaching Program Transformation for Software Reengineering</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05161.3">10.4230/DagSemProc.05161.3</a>
</li>
<li>
    <span class="authors">Nicholas A. Kraft, Brian A. Malloy, and James F. Power</span>
    <span class="title">g4re: Harnessing GCC to Reverse Engineer C++ Applications</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05161.4">10.4230/DagSemProc.05161.4</a>
</li>
<li>
    <span class="authors">Jurgen Vinju and James R. Cordy</span>
    <span class="title">How to make a bridge between transformation and analysis technologies?</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05161.5">10.4230/DagSemProc.05161.5</a>
</li>
<li>
    <span class="authors">Jean-Marie Favre</span>
    <span class="title">Megamodelling and Etymology</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05161.6">10.4230/DagSemProc.05161.6</a>
</li>
<li>
    <span class="authors">Alberto Pettorossi, Maurizio Proietti, and Valerio Senni</span>
    <span class="title">Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05161.7">10.4230/DagSemProc.05161.7</a>
</li>
<li>
    <span class="authors">Martin Gogolla</span>
    <span class="title">Tales of ER and RE Syntax and Semantics</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05161.8">10.4230/DagSemProc.05161.8</a>
</li>
<li>
    <span class="authors">Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, and Szilvia Varró-Gyapai</span>
    <span class="title">Termination Criteria for Model Transformation</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.05161.9">10.4230/DagSemProc.05161.9</a>
</li>
</ul>

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