{"id":1037,"date":"2026-07-15T11:44:42","date_gmt":"2026-07-15T10:44:42","guid":{"rendered":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/?page_id=1037"},"modified":"2026-07-15T11:44:42","modified_gmt":"2026-07-15T10:44:42","slug":"structure-analysis-of-large-software-systems","status":"publish","type":"page","link":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/structure-analysis-of-large-software-systems\/","title":{"rendered":"Structure Analysis of Large Software Systems"},"content":{"rendered":"\n<div class=\"wp-block-group is-nowrap is-layout-flex wp-container-core-group-is-layout-8f761849 wp-block-group-is-layout-flex\">\n<figure class=\"wp-block-image\"><img decoding=\"async\" src=\"https:\/\/stadium.open.ac.uk\/stadia\/stadia\/speakerimages\/568.jpg\" alt=\"Dr Dirk Beyer\"\/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">Dr Dirk Beyer &#8211; Ecole Polytechnique F?d?rale de Lausanne (EPFL)<br><small>This event took place on Tuesday 25 April 2006 at 15:00<\/small><\/p>\n<\/div>\n\n\n\n<p class=\"wp-block-paragraph\">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.<br><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"http:\/\/stadium.open.ac.uk\/stadia\/preview.php?s=29&amp;whichevent=787\">Watch the webcast replay &gt;&gt;<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/past-seminars\/\">View all past events<\/a><\/p>\n\n\n\n<div class=\"wp-block-group is-nowrap is-layout-flex wp-container-core-group-is-layout-8f761849 wp-block-group-is-layout-flex\">\n<figure class=\"wp-block-image size-full has-custom-css wp-custom-css-ac9b5317\"><img loading=\"lazy\" decoding=\"async\" width=\"213\" height=\"246\" src=\"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-content\/uploads\/sites\/8\/2026\/07\/image-2.png\" alt=\"Maven of the Month\" class=\"wp-image-537\"\/><\/figure>\n\n\n\n<div class=\"wp-block-group is-vertical is-layout-flex wp-container-core-group-is-layout-4fc3f8e1 wp-block-group-is-layout-flex\">\n<h3 class=\"wp-block-heading\"><a href=\"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/maven-of-the-month\/\">Maven of the Month<\/a><\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">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&amp;A format.<\/p>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Dr Dirk Beyer &#8211; Ecole Polytechnique F?d?rale de Lausanne (EPFL)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 [&hellip;]<\/p>\n","protected":false},"author":13,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"unity_related_person":[],"unity_sdg":[],"unity_research_theme":[],"unity_strategic_priority":[],"unity_enabler":[],"unity_general_category":[],"unity_stem_unit":[],"unity_related_project":[],"unity_related_archived_project":[],"unity_related_event":[],"class_list":["post-1037","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/pages\/1037","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/users\/13"}],"replies":[{"embeddable":true,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/comments?post=1037"}],"version-history":[{"count":1,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/pages\/1037\/revisions"}],"predecessor-version":[{"id":1038,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/pages\/1037\/revisions\/1038"}],"wp:attachment":[{"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/media?parent=1037"}],"wp:term":[{"taxonomy":"unity_related_person","embeddable":true,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/unity_related_person?post=1037"},{"taxonomy":"unity_sdg","embeddable":true,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/unity_sdg?post=1037"},{"taxonomy":"unity_research_theme","embeddable":true,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/unity_research_theme?post=1037"},{"taxonomy":"unity_strategic_priority","embeddable":true,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/unity_strategic_priority?post=1037"},{"taxonomy":"unity_enabler","embeddable":true,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/unity_enabler?post=1037"},{"taxonomy":"unity_general_category","embeddable":true,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/unity_general_category?post=1037"},{"taxonomy":"unity_stem_unit","embeddable":true,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/unity_stem_unit?post=1037"},{"taxonomy":"unity_related_project","embeddable":true,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/unity_related_project?post=1037"},{"taxonomy":"unity_related_archived_project","embeddable":true,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/unity_related_archived_project?post=1037"},{"taxonomy":"unity_related_event","embeddable":true,"href":"https:\/\/schools.stem.open.ac.uk\/knowledge-media-institute\/wp-json\/wp\/v2\/unity_related_event?post=1037"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}