SPECTRUM

Ziel des gemeinsam mit der Forschergruppe von Prof. Broy, TU München,von 1991 bis 1995 durchgeführten DFG-Projekts war die Entwicklung eines formalen Rahmens, der die eindeutige Definition der Anforderungen an ein (intendiertes) Softwaresystem und die Überprüfung des entwickelten Systems gegenüber dieser Definition ermöglicht. Hierzu wurde im Rahmen des Projekts eine auf axiomatischen Spezifikationen basierende Sprache (genannt SPECTRUM) für die Beschreibung von Anforderungen und deren Einbindung in Systementwürfe entwickelt. Die Sprache enthält sowohl Konstrukte für die Definition einzelner Module als auch für deren Manipulation und Verknüpfung. Für den Nachweis der Korrektheit von Softwareentwicklungen bzgl. einer gegebenen Anforderungsspezifikation wurde ein Kalkül entwickelt, das das Beweisen sowohl von Eigenschaften einzelner Spezifikationen als auch von Relationen (etwa Verfeinerung) zwischen Spezifikationen ermöglicht. Die Sprache wurde durch verschiedene (größere) Fallstudien unter der Einbeziehung von Erfahrungen aus der Praxis des Softwareentwurfs konsolidiert.

Basierend auf der SPECTRUM-Sprache wird eine Methodik zur Entwicklung von Softwaresystemen erarbeitet, die eine Integration formaler und semi-formaler Methoden in den Entwicklungsprozeß von Software ermöglicht.

Liste aller Projekte

Institut

Universität