Full Seminar Details

Dr Dirk Beyer

Ecole Polytechnique F?d?rale de Lausanne (EPFL)

Dr Dirk Beyer
Structure Analysis of Large Software Systems
This event took place on Tuesday 25 April 2006 at 15:00

We present two techniques for structure analysis that scale to large software systems. In the first part, we present CrocoPat, a tool for relational programming. Its language is illustrated on small examples, and some applications to software analysis are explained. The method can be used to formulate graph analysis problems like the detection of instances of design patterns, or the computation of the transitive closure of large relations, in a simple language based on predicate logic. The second part of the talk will emphasis on co-change visualization, a technique for extracting the subsystem structure of a system from the CVS repository. CCVisu is a tool for co-change visualization. It extracts a high-level model of the change history of the software system and produces a visualization that reveals clusters of the system. The layout ensures that artifacts that were often changed together are placed at close positions.

Download PowerPoint presentation (2Mb ZIP file)

Watch the webcast replay >>


Senior Research Fellow

Knowledge Media Institute (KMi)
£49,772 to £55,998
Based in Milton Keynes
Permanent position

The post is intended to strengthen the Open University’s Knowledge Media Institute (KMi) international research reputation and in particular we are interested in candidates who can pursue a robust and innovative research agenda in one or more of...


Knowledge Media Institute
The Open University
Walton Hall
Milton Keynes
United Kingdom

Tel: +44 (0)1908 653800

Fax: +44 (0)1908 653169

Email: KMi Support


If you have any comments, suggestions or general feedback regarding our website, please email us at the address below.

Email: KMi Development Team