Published in: Dagstuhl Reports, Volume 2, Issue 2 (2012)
Rainer Koschke, Ira D. Baxter, Michael Conradt, and James R. Cordy. Software Clone Management Towards Industrial Application (Dagstuhl Seminar 12071). In Dagstuhl Reports, Volume 2, Issue 2, pp. 21-57, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Article{koschke_et_al:DagRep.2.2.21, author = {Koschke, Rainer and Baxter, Ira D. and Conradt, Michael and Cordy, James R.}, title = {{Software Clone Management Towards Industrial Application (Dagstuhl Seminar 12071)}}, pages = {21--57}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2012}, volume = {2}, number = {2}, editor = {Koschke, Rainer and Baxter, Ira D. and Conradt, Michael and Cordy, James R.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.2.2.21}, URN = {urn:nbn:de:0030-drops-34775}, doi = {10.4230/DagRep.2.2.21}, annote = {Keywords: Software clones, code redundancy, clone detection, redundancy removal, software refactoring, software reengineering, plagiarism detection, copyright infringement, source differencing} }
Published in: Dagstuhl Seminar Proceedings, Volume 6301, Duplication, Redundancy, and Similarity in Software (2007)
Andrew Walenstein, James R. Cordy, William S. Evans, Ahmed Hassan, Toshihiro Kamiya, Cory Kapser, and Ettore Merlo. 06301 Working Session Summary: Presentation and Visualization of Redundant Code. In Duplication, Redundancy, and Similarity in Software. Dagstuhl Seminar Proceedings, Volume 6301, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{walenstein_et_al:DagSemProc.06301.3, author = {Walenstein, Andrew and Cordy, James R. and Evans, William S. and Hassan, Ahmed and Kamiya, Toshihiro and Kapser, Cory and Merlo, Ettore}, title = {{06301 Working Session Summary: Presentation and Visualization of Redundant Code}}, booktitle = {Duplication, Redundancy, and Similarity in Software}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6301}, editor = {Rainer Koschke and Ettore Merlo and Andrew Walenstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06301.3}, URN = {urn:nbn:de:0030-drops-9661}, doi = {10.4230/DagSemProc.06301.3}, annote = {Keywords: Code clone, clone visualization, presentation, software visualization} }
Published in: Dagstuhl Seminar Proceedings, Volume 6301, Duplication, Redundancy, and Similarity in Software (2007)
Andrew Walenstein, Mohammad El-Ramly, James R. Cordy, William S. Evans, Kiarash Mahdavi, Markus Pizka, Ganesan Ramalingam, and Jürgen Wolff von Gudenberg. Similarity in Programs. In Duplication, Redundancy, and Similarity in Software. Dagstuhl Seminar Proceedings, Volume 6301, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{walenstein_et_al:DagSemProc.06301.11, author = {Walenstein, Andrew and El-Ramly, Mohammad and Cordy, James R. and Evans, William S. and Mahdavi, Kiarash and Pizka, Markus and Ramalingam, Ganesan and von Gudenberg, J\"{u}rgen Wolff}, title = {{Similarity in Programs}}, booktitle = {Duplication, Redundancy, and Similarity in Software}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6301}, editor = {Rainer Koschke and Ettore Merlo and Andrew Walenstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06301.11}, URN = {urn:nbn:de:0030-drops-9681}, doi = {10.4230/DagSemProc.06301.11}, annote = {Keywords: Computer programs, similarity, code clone, software comparison, program metrics, Levenshtein distance, parameterized difference, feature space, shared} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Jean-Marie Favre. Megamodelling and Etymology. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
James R. Cordy, Ralf Lämmel, and Andreas Winter. 05161 Executive Summary – Transformation Techniques in Software Engineering. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Pieter Van Gorp and Dirk Janssens. CAViT: a Consistency Maintenance Framework based on Transformation Contracts. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Mohammad El-Ramly. Experiences in Teaching Program Transformation for Software Reengineering. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Nicholas A. Kraft, Brian A. Malloy, and James F. Power. g4re: Harnessing GCC to Reverse Engineer C++ Applications. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Jurgen Vinju and James R. Cordy. How to make a bridge between transformation and analysis technologies?. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Alberto Pettorossi, Maurizio Proietti, and Valerio Senni. Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Martin Gogolla. Tales of ER and RE Syntax and Semantics. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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-dev.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)
Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, and Szilvia Varró-Gyapai. Termination Criteria for Model Transformation. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@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-dev.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} }
Feedback for Dagstuhl Publishing