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 >>

View all past events

Maven of the month logo - Photo of Prof. Ricardo Baeza-Yates

Maven of the Month

We are also inviting top experts in AI and Knowledge Technologies to discuss major socio-technological topics with an audience that comprises both members of the Knowledge Media Institute, as well as the wider staff at The Open University. Differently from our seminar series, these events follow a Q&A format.

Past events


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