ERCIM Working Group Software Evolution - User contributions [en]

Tools

2010-04-23T06:36:58Z

Joerg: DoctorQ & VIDE-DD

This webpage collects research tools to support software evolution. If
you are the author of such a tool, or are aware of such a tool, please
update this page. (Note: Commercial tools will not be considered.)

<ul>
<li>[http://seal.ifi.unizh.ch/175/ '''ArchView'''], developed at the University of Zurich, is a tool that provides user configurable views for trend analysis and hot-spot detection. It follows the principle of measurement mapping representing source code entities such as packages or classes with Kiviat diagrams. For each entity it visualizes multiple metrics from several releases and thereby shows the trend of that entity. Spotting the trend the user can learn a number of visual patterns that allow him to detect the hot-spots and unstable entities. The tool is used in the software evolution analysis domain but not limited to that.</li>

<li>[http://www.inf.unisi.ch/phd/dambros/tools/ '''BugCrawler'''] is a tool written in Smalltalk for analyzing the evolution of large software systems. The tool is based on interactive visualizations and software metrics. The information used for rendering the views is based on the software system itself, CVS logfiles and Bugzilla problem reports.</li>

<li>[http://www.ccfinder.net '''CCFinderX'''] is a code-clone detector, which detects code clones (duplicated code fragments) from source files written in Java, C/C++, COBOL, VB, C#. </li>

<li>[http://seal.ifi.unizh.ch/172/ '''ChangeDistiller'''], developed at the University of Zurich, is an Eclipse Plugin to extract source code changes based on tree differencing. Subsequent abstract syntax tree revisions of Java files are converted into generic tree data structures and compared to compute the basic tree edit operations that transform an original into a modified tree. The tree edit operations and the source code information from the AST are used to classify the source code changes according to our taxonomy of source code changes.</li>

<li>[http://moose.unibe.ch/tools/chronia '''Chronia'''] is a tool to explore the CVS history of software systems. It features a measure for code ownership and a distance between files regarding their commit history (using Hausdorff distance and dendrogram seriation). In our research, we identified a taxonomy of common development patterns, as e.g., Monologue, Dialog, Familiarization, Takeover, Bug fix, etc.</li>

<li>[http://www.inf.unisi.ch/faculty/lanza/codecrawler.html '''CodeCrawler''']
is a language independent reverse engineering tool combining metrics and software visualization.</li>

<li>[http://wiki.smalltalk.be:8080/Smalltalk_be/92 '''DupLoc'''] is a tool for detecting duplicated code.</li>

<li>'''DoctorQ''': An extensible plugin-system for the eclipse IDE to enable the analysis of software systems for the diagnosis of Quality Defects. The system is designed to diagnose quality defects during programming in order to assist the software developer directly in his work. This helps to prevent larger amount of work that might be necessary if the quality defects were diagnosed after programming (or an iteration in agile development) when more components are based on the flawed system and needed to be changed.
</li>
<li>[http://www.st.cs.uni-sb.de/softevo/erose/ '''eROSE'''] is a plugin for Eclipse that guides programmers along related changes. If you change f() and other people have changed f() together with g() in the past, eRose will detect this and suggest "Programmers who changed function f() also changed function g()." All eRose needs is a CVS repository; we designed eRose to be as efficient and unobstrusive as possible.</li>

<li>[http://www.inf.unisi.ch/phd/dambros/tools/ '''Evolution Radar'''] is a tool for analyzing the evolution of software systems from the logical coupling perspectives. The visualization technique integrates both file-level and module-level logical coupling information. The tool facilitates an in-depth analysis of the logical couplings at all granularity levels, and leads to a precise characterization of the system modules in terms of their logical coupling dependencies.</li>

<li>[http://moose.unibe.ch/tools/fame '''Fame'''] is an EMOF compliant meta-environment available for Smalltalk, Java, and Python. Fame is based on the FM3 Meta-Metamodel (a subset of EMOF) and uses MSE File Format to exchange all of meta-metamodel, metamodels and models. The main authors of Fame are Adrian Kuhn and Toon Verwaest. Fame is part of the Moose platform.</li>

<li> [http://lore.cmi.ua.ac.be/fetchWiki/ '''Fetch'''] (Fact Extraction Tool CHain) is a tool chain for software analysis, targetting the exploration of large C/C++/Java software systems for (i) dependency analysis; (ii) pattern detection; (iii) visualization; (iv) metric calculation and similar types of static analysis. Multi-version analysis is supported as well.</li>

<li> [http://ges.sourceforge.net/ '''Google Eclipse Search'''] (GES) is the result of integrating the Google Desktop Search (GDS) engine into IBM's Eclipse development environment to improve searching in software projects in a manner similar to searching the internet or your own desktop.</li>

<li> [http://moose.unibe.ch/tools/hapax '''Hapax'''] is an information retrievel tool to analyze the vocabulary of software systems, i.e. how classes and methods are related by topic rather than structure. Hapax is language independent and its approach uses a combination of LSA (latent semantic indexing), SVD (singular value decomposition) and hierarchical clustering. </li>

<li> [http://scg.unibe.ch/research/helvetia '''Helvetia'''] is a lightweight language workbench for embedding new languages into a host language. The transformation approach exploits the internal representation of the host language to leverage tools such as editors and debuggers. Helvetia is implemented in Pharo Smalltalk.</li>

<li> [http://www.intensional.be/ '''IntensiVE'''] is an environment that supports the definition, manipulation and verification of intensionally
defined sets of source code entities (called intensional views), and relations between such sets (called intensional relations). The IntensiVE tool suite enables software developers to document and verify structural regularities in the source code, and to co-evolve these regularities with the code when either of them evolves.</li>

<li> [http://loose.upt.ro/iplasma/ '''iPlasma'''] is an integrated environment for quality analysis of object-oriented software systems that includes support for all the necessary phases of analysis: from model extraction (including scalable parsing for C++ and Java) up to high-level metrics-based analysis, and detection of code duplication.</li>

<li> [http://www.cwi.nl/projects/renovate/javaQA/ '''JCosmo'''] is an outdated tool that detects code smells in Java source code. It can be used to review the quality of the analyzed code and indicate regions that could benefit from refactoring.</li>

<li>[http://jripples.sourceforge.net/ '''JRipples'''], developed by Maksym Petrenko and Vaclav Rajlich at Wayne Stat University, is based on the philosophy of "intelligent assistance", which requires close cooperation between the programmer and the tool. The tool analyzes the program, keeps track of the inconsistencies, and automatically marks the components to be visited by the programmer.</li>

<li> [http://sailhome.cs.queensu.ca/~bram/makao/ '''Makao'''] (Makefile Architecture Kernel featuring Aspect Orientation) is a re(verse-)engineering framework for build systems. It provides support for visualising, querying, filtering, refactoring and validation of build systems. It takes a trace generated by a GNU Make (or ClearMake) process, and makes the build dependency graph explicit to the build re(verse)-engineer. This graph can then be interacted with through a build-aware graph manipulation framework (based on GUESS).</li>

<li> [http://www.win.tue.nl/empanada/metricview/ '''MetricViewEvolution'''] visualizes metrics and evolution data for UML models. </li>

<li> [http://www.cs.le.ac.uk/people/aboronat/tools/moment2-gt/ '''MOMENT2-GT'''] is a graph-based model transformation tool that uses term rewriting to perform graph rewriting. MOMENT2-GT uses the Eclipse Modeling Framework as its metamodeling front-end and Maude as the back-end term rewriting system. MOMENT2-GT transformation definition language is based on the QVT Relations language, including support for OCL.</li>

<li> [http://moose.unibe.ch/tools/mondrian '''Mondrian'''] is a novel information visualization engine that lets the visualization be specified via a script. It is built in VisualWorks Smalltalk, and the scripting language is the Smalltalk language. It is based on a graph model and works directly with the objects to be represented. Mondrian was developed by Michael Meyer and Tudor Girba and is part of the Moose platform.</li>

<li> [http://moose.unibe.ch/ '''Moose'''] is collaborative research platform for software analysis and information visualisation. Moose was first conceived in 1997 at Software Composition Group. Since then, the Moose community has grown and spread to several European universities. Research around Moose has led to over 100 scientific publications.</li>

<li> [http://webmail.cs.wayne.edu/~vip/Downloads/PAS_files/public_html/index.htm '''PAS'''] (Partitioned Annotations of Software) is a web-based medium that records a programmer's comprehension of a particular program and makes it available to the programmer's teammates. PAS divides annotations for individual
software components into specialized partitions so programmers can easily
find the specific information they need.</li>

<li> [http://scg.unibe.ch/research/pinocchio '''Pinocchio'''] is an open language system that provides a language independent and fully reflective runtime by not imposing any rules from within the interpreter. Currently (end 2009) the core of Pinocchio is still heavily under development.</li>

<li> [http://ptidej.dyndns.org/ '''Ptidej'''] (Pattern Trace Identification, Detection, and Enhancement in Java) is a tool suite to evaluate and to enhance the quality of object-oriented programs, promoting the use of patterns, either at the language-, design-, or architectural-levels, including the DECOR2 method for the detection and correction of design defect. More on our research on patterns and quality.</li>

<li> [http://scg.unibe.ch/Research/Reflectivity/ '''Reflectivity'''] provides extensions to the standard reflection features of Smalltalk for both structural and behavioral reflection: 
Structural reflection is extended by sub-method reflection: the structure of method bodies has as a first class and causally connected representation that can easily be extended and annotated. 
Behavioral reflection is provided by a new and improved version of Geppetto, a realization of Partial Behavioral Reflection as pioneered by Reflex. 
Reflectivity is built by Marcus Denker. Reflectivity is built in Squeak.
</li>

<li> [http://www.s3m.ca/en/products/s3massess.html '''S3M Assess''']: The S3M Assessment support software (S3MAssess) isan be used to support and document your S3M assessments. You can choose the key process area that you want to assess. It contains all the level 0,1 and 2 practices and prompts you with the question and allows you to document the assessment results.</li>

<li> [http://www.s3m.ca/en/products/s3mdss.html '''S3M DSS''']: The S3M Decision Support Software (S3MDSS) can be used to help you understand how to resolve your software maintenance problems. It is a knowledge base that contains all the level 0,1 and 2 practices of the maturity model and has been developed to answer the end-user, customer, software maintainer and maintenance manager questions. The questions are answered (Yes/No) and the system gradually guides you towards a specific practice of the S3M model to try to help you pin point the best practice required to help with this issue.</li>

<li> [http://www.thechiselgroup.org/shrimp '''SHriMP'''] is a tool designed for visualizing and exploring software architecture and any other information space. It is a domain-independent visualization technique designed to enhance how people browse and explore complex information spaces, including large software programs and complex knowledge-bases. <a href="http://www.thechiselgroup.org/creole">Creole</a> is an Eclipse plugin that uses SHriMP to allow you to explore your Java code visually. </li>

<li> [http://www.inf.unisi.ch/phd/lungu/research/softwarenaut/ '''Softwarenaut'''] is a prototype tool used to explore techniques for software exploration. The environment is currently using as a source of data input the Moose reengineering platform.</li>


<li>
The [http://screencasts.joerg-rech.de/VIDE-DD2/VIDE-DD%20Screencast%202.htm '''VIDE Defect Detector''']: An extensible plugin-system for the Topcased IDE to enable the analysis of software models for the diagnosis of Quality Defects.
</li>

<li> [http://swag.uwaterloo.ca/~ahindle '''YARN'''] (Yet Another Reverse-engineering Narrative) is a prototype tool for modeling, extracting, and animating the architectural evolution of a software system. YARN mines the source code changes of the target system, and generates YARN ÒballsÓ (animations) that a viewer can unravel (watch). The animation is based on a static layout of the modules connected by animated edges that model the changing dependencies. The edges can be weighted by the number of dependencies or the importance of the change.</li>

</ul>

Theses

2010-04-23T06:30:25Z

Joerg: Thesis Rech

Follow this link for a more general list on PhDs in Software Engineering[http://www.sigsoft.org/phdDissertations/]

This page collects all PhD dissertations whose subject is related to software evolution. If you are the author of such a dissertation, or if you aware of such dissertations, please add it to this page.

==2009==

* ''Joerg Rech''. [http://www.amazon.de/Context-sensitive-Diagnosis-Quality-Defects-Software/dp/3837085090/ '''Context-sensitive Diagnosis of Quality Defects in Object-Oriented Software System'''], PhD Thesis, University of Hildesheim, Germany, 2009.
* ''Selim Ciraci''. '''Graph Based Verification of Software Evolution Requirements''', University of Twente, The Netherlands, December 2009.
* ''Hani Abdeen''. '''Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements''', INRIA, University of Lille, 2009.
* ''Sebastien Vaucouleur''. [http://www1.itu.dk/graphics/ITU-library/Internet/Forskning/Phd/PhD_Defences/2009/PhD%20dissertation_handed%20in%2030June09_Sebastien%20Vaucouleur.pdf '''Upgradable Software Product Customization by Code Query''']. IT University of Copenhagen, Denmark, October 2009.
* ''Karl Beecher''. '''Evolution in Free Software Projects: A Multi-Repository Study''', University of Lincoln, United Kingdom, September 2009.
* ''Angela Lozano''. '''Assessing the Effect of Source Code Characteristics on Changeability'''. The Open University, United Kingdom. August 2009
* ''Peter Ebraert''. '''A bottom-up approach to program variation '''. Vrije Universiteit Brussel, Belgium, June 2009
* ''Pieter De Leenheer''. '''On Community-based Ontology Evolution'''. Vrije Universiteit Brussel, May 2009
* ''Khanh Hoa Dam''. [http://goanna.cs.rmit.edu.au/~kdam/KhanhHoaDamThesis.pdf '''Supporting Software Evolution in Agent Systems''']. RMIT University, Australia, March 2009
* ''Marco Lormans''. '''Managing Requirements Evolution'''. Delft University of Technology, The Netherlands, January 2009

==2008==

* ''Adrian Lienhard''. [http://www.iam.unibe.ch/~scg/Archive/PhD/lienhard-phd.pdf '''Dynamic Object Flow Analysis''']. University of Bern, December 2008.
* ''Romain Robbes''. '''Of Change and Software'''. University of Lugano, Switzerland, December 2008
* ''Muhammad Usman Bhatti''. '''Object Identification and Aspect Mining in Procedural Object-Oriented Code'''. Université Paris 1, France, November 2008
* ''Carlos Noguera''. '''A Model-driven tool-set for Developing and Validating Annotation Frameworks'''. University of Lille, France, November 2008
* ''Beat Fluri''. [http://fluri.computerscience.ch/files/cd/fluri_dissertation_2008.pdf '''Change Distilling - Enriching software evolution analysis with fine-grained source code change histories''']. University of Zurich, Switzerland, October 2008
* ''Israel Herraiz Tabernero''. [http://purl.org/net/who/iht/phd '''A statistical examination of the properties and evolution of libre software''']. Universidad Rey Juan Carlos, Madrid, Spain, October 2008
* ''Jean-Christophe Trigaux.'' '''Quality of feature diagram languages: formal evaluation and comparison.''' Facultés universitaires Notre-Dame de la Paix (FUNDP), Namur, Belgium, September 2008
* ''Naouel Moha''. [http://tel.archives-ouvertes.fr/tel-00321081/fr/ '''Decor: Détection et correction des défauts dans les systèmes orientés objet''']. Université de Montréal et Université des Sciences et Technologie de Lile, France, August 2008
* ''Marcus Denker''. [http://www.iam.unibe.ch/~scg/Archive/PhD/denker-phd.pdf '''Sub-method Structural and Behavioral Reflection''']. University of Bern, May 2008
* ''Bram Adams''. [http://sailhome.cs.queensu.ca/~bram/publications/2008/PhD.pdf '''Co-evolution of Source Code and the Build System: Impact on the Introduction of AOSD in Legacy Systems''']. Universiteit Gent, Belgium, May 2008. ISBN 978-90-8578-203-2
* ''Magiel Bruntink''. [http://homepages.cwi.nl/~bruntink/papers/thesis-phd.pdf '''Renovation of Idiomatic Crosscutting Concerns in Embedded Systems''']. Technische Universiteit Delft, The Netherlands, March 2008
* ''Marius Marin''. [http://www.library.tudelft.nl/ws/search/publications/search/metadata/index.htm?docname=376266 '''An Integrated System to Manage Crosscutting Concerns in Source Code''']. Technische Universiteit Delft, The Netherlands, January 2008
* ''Filip Van Rysselberghe''. '''Studying Historic Change Operations: Techniques and Observations'''. Universiteit Antwerpen, Belgium, January 2008.

==2007==
<ul>
<li>Dolorès Diaz. Réalisation d'évolutions logicielles sur des applications d'entreprise en phase de maintenance.
LIFL, Université Lille 1, France, December 2007 [http://adam.lifl.fr/pmwiki.php/Adam/Pub2007?action=bibentry&bibfile=adam.bib&bibref=Diaz-phd-07]
</li>

<li>Artur Boronat. MOMENT: A formal framework for MOdel manageMENT. Department of Information Systems and Computation, Technical University of Valencia, Spain, December 2007 [http://www.cs.le.ac.uk/people/aboronat/papers/2007_thesis_ArturBoronat.pdf]</li>

<li>Stephen Cook. Evolution, goals and assumptions in software systems. University of Reading, United Kingdom, November 2007.</li>

<li>Bas Graaf. Model-driven evolution of software architectures. Technische Universiteit Delft, The Netherlands, November 2007 [http://www.st.ewi.tudelft.nl/~basgraaf/publications/PHDTHESIS2007.pdf]</li>

<li>David Shepherd. Natural Language Program Analysis: Combining Natural Language Processing and Program Analysis to Improve Software Maintenance Tools. University of Delaware, USA, August 2007 [http://128.4.133.74:8080/dspace/bitstream/123456789/176/3/shepherd.dissertation.pdf]</li>

<li>Joel Huselius. Reverse Engineering of Legacy Real-Time Systems: An Automated Approach Based on Execution-Time Recording.
Malardalen University, Sweden, June 2007 [http://www.mrtc.mdh.se/index.php?choice=publications&id=1322]</li>

<li>Andy Kellens. Maintaining causality between design regularities and source code.
Programming Technology Lab, Vrije Universiteit Brussel, Belgium, June 2007 [http://prog.vub.ac.be/~akellens/publications/phd.pdf]</li>

<li>Orla Greevy. Enriching Reverse Engineering with Feature Analysis. Software Composition Group, University of Bern,
Switzerland, May 2007 [http://www.iam.unibe.ch/~scg/Archive/PhD/greevy-phd.pdf]</li>

<li>Michael Fischer. EvoZilla - Longitudinal Evolution Analysis of Large Scale Software Systems. Vienna University of Technology, Austria. May 2007 [http://www.evozilla.com/people/mfi/papers/fischer06phdthesis-evozilla.pdf]</li>

<li>Christian F.J. Lange. Assessing and Improving the Quality of Modeling: A Series of Empirical Studies about the UML.
Eindhoven University of Technology, The Netherlands, 2007 [http://www.win.tue.nl/~clange/thesis/thesis.pdf]</li>

<li>Jacek Ratzinger. sPACE - Software Project Assessment in the Course of Evolution. Vienna University of Technology, Austria. 2007 [http://www.infosys.tuwien.ac.at/Staff/ratzinger/publications/ratzinger_phd-thesis_space.pdf]</li>

<li>Thomas Cleenewerck. Modularizing Language Constructs: A Reßective Approach . Vrije Universiteit Brussel, Belgium. 2007 [http://prog.vub.ac.be/Publications/2007/vub-prog-phd-07-02.pdf]</li>

<li>Isabel Michiels. A Goal-Driven Approach for Documenting and Verifying Design Invariants . Vrije Universiteit Brussel, Belgium. 2007 [http://prog.vub.ac.be/Publications/2007/vub-prog-phd-07-03.pdf]</li>
</ul>

==2006==
* ''Andy Zaidman''. [http://www.st.ewi.tudelft.nl/~zaidman/publications/azaidmanPhD_A4.pdf '''Scalability Solutions for Program Comprehension through Dynamic Analysis''']. Universiteit Antwerpen, Belgium. September 2006
* ''Bart Du Bois''. [http://www.scribd.com/doc/24591396/Thesis-Bart-Du-Bois '''A study of quality improvements by refactoring''']. Universiteit Antwerpen, Belgium. September 2006
* ''Andrew Le Gear''. '''Component Reconnexion: Identifying and encapsulating reuseful components in legacy software systems'''. University of Limerick, Ireland. September 2006.
* ''Pamela O'Shea''. '''An investigation of Views and abstractions employed by software engineers during software maintenance: An empirically founded set of guidelines for visualization tools supporting comprehension'''. University of Limerick, Ireland. September 2006.
* ''Kris De Schutter''. '''Aspect oriented revitalisation of legacy software through logic meta-programming'''. Universiteit Gent, Belgium. May 2006
* ''Gregorio Robles''. [http://libresoft.es/grex/phd '''Software Engineering Research on Libre Software: Data Sources, Methodologies and Results''']. Universidad Rey Juan Carlos, Spain. February 2006
* ''Dirk Deridder''. [http://prog.vub.ac.be/Publications/2006/vub-prog-phd-06-02.pdf '''A Concept-Centric Environment for Software Evolution''']. Vrije Universiteit Brussel, 2006
* ''Ellen Van Paesschen''. [http://prog.vub.ac.be/Publications/2006/vub-prog-phd-06-03.pdf '''Advanced Round-Trip Engineering: An Agile Analysis-Driven Approach for Dynamic Languages''']. Vrije Universiteit Brussel, 2006
* ''Holger M. Kienle''. [http://hdl.handle.net/1828/115 '''Building Reverse Engineering Tools with Software Components''']. University of Victoria, Canada. November 2006.

==2005==
<ul>
<li>Gabriela Arévalo. High Level Views in Object Oriented Systems using Formal Concept Analysis. Universität Bern, Switzerland, January 2005 [http://www.iam.unibe.ch/~scg/cgi-bin/oobib.cgi?query=Arev05a]</li>

<li>Nathanael Schärli. Traits: Composing Classes from
Behavioral Building Blocks. Universität Bern, Switzerland, February 2005 [http://www.iam.unibe.ch/~scg/cgi-bin/oobib.cgi?query=Scha05a]</li>

<li>Andrea Capiluppi. Metrics-based study of the evolution
of open-source based systems. Politecnico di Torino, Italy, May 2005.</li>

<li>Martin Pinzger. ArchView - Analyzing Evolutionary Aspects of Complex Software Systems . Technical University of Vienna, Austria, May 2005.</li>

<li>Johan Brichau. Integrative Composition of Program Generators. Vrije Universiteit Brussel, Belgium, May 2005.</li>

<li>Matthias Rieger. Effective Clone Detection Without Language Barriers. Universität Bern, Switzerland, June 2005 [http://www.iam.unibe.ch/~scg/cgi-bin/oobib.cgi?query=Rieg05a]</li>

<li>Damien Pollet. Une architecture pour les transformations
de modèles et la restructuration de modèles UML. Université de Rennes 1, France, June 2005.</li>

<li>Ragnhild Van Der Straeten. Inconsistency Management in
Model-Driven Engineering. Vrije Universiteit Brussel, Belgium, September 2005 [http://w3.umh.ac.be/~infofs/preprints/index.php?page=paper_info&ID=147]</li>

<li>Tudor Gîrba. Modeling History to Understand Software Evolution. Universität Bern, Switzerland, November 2005 [http://www.iam.unibe.ch/~scg/cgi-bin/oobib.cgi?query=Girb05d]</li>

<li>Imed Hammouda. Multidimensional structuring of software
systems - Tools and Applications. Tampere University of Technology, Finland, November 2005</li>

<li>Alexandre Bergel. Classboxes - Controlling Visibility of
Class Extensions. Universität Bern, Switzerland, November 2005 [http://www.iam.unibe.ch/~scg/cgi-bin/oobib.cgi?query=Berg05f]</li>

<li>Olivier Barais. Construire et Maitriser l'Évolution d'une Architecture Logicielle à base de Composants. Université des Sciences et Technologies de Lille, France, December 2005.</li>

</ul>
 

==2004==

* ''Claudio Riva''. [http://www.infosys.tuwien.ac.at/Staff/mj/theses/ClaudioRiva.pdf '''View-based Software Architecture Reconstruction''']. Vienna University of Technology, Austria, October 2004