CSDM

Entwicklung korrekter Software

CSDM ist ein Software-Entwicklungs-System, das den Entwurf korrekter Software durch die Einbeziehung formaler Methoden und die Wiederverwendung bereits erstellter Softwarekomponenten unterstützt. Das in einer ersten Version vor kurzem fertiggestellte System ist für verschiedene Entwicklungsmethoden instanziierbar. Es verfügt über eine leicht erlernbare graphische Benutzeroberfläche und ist speziell auf Teamarbeit ausgelegt.

Im Rahmen des KORSO-Projekts wurde das CSDM-System für Softwareentwicklungen mit der algebraischen Spezifikationssprache SPECTRUM instanziiert. Systementwicklungen werden dabei durch sogenannte Entwicklungsgraphen, die die Abhängigkeiten und Verfeinerungen einzelner Spezifikationen aufzeigen, visuell dargestellt. Als konkrete Programmiersprache soll die funktionale Sprache SML verwendet werden, in die SPECTRUM-Spezifikationen übersetzt werden können.

Ein wichtiger Bestandteil des Systems ist eine Bibliothek von Spezifikationen für verschiedene Anwendungen. Um schon vorhandene Komponenten wiederverwenden zu können, werden Anfragen an die Bibliothek gerichtet, die die Anforderungen an die gesuchte Komponente formal beschreiben. Das Auffinden von geeigneten Komponenten geschieht durch eine effiziente, automatische Suche auf der Basis von Signaturvergleich.

Ansprechpartner: Mischa Czarny, Dr. Robert Stabl.

Liste aller Projekte

Institut

Universität