same information in English
Contact:
Dr. Radu Grosu
Die Zuverlässigkeit von Software wird vor allem dadurch bestimmt, daß die Anforderungen für das intendierte System richtig, vollständig und präzise erfaßt sind und das Verhalten der Software mit den formulierten Anforderungen übereinstimmt.
Um Software-Zuverlässigkeit mit technischen Mitteln sicherstellen zu können, ist es unabdingbar, daß das Verhalten des geplanten Produkts vor Start der Entwicklung möglichst genau in einer formalen Sprache festgelegt wird. Ausgehen von einer solchen Anforderungsdefinition können dann formale Methoden eingesetzt werden, die die Korrektheit des entwickelten Produnkts bezüglich der Anforderungen sicherstellen.
Das hier beschriebene Projekt zielt ab auf die Entwicklung einer geeigneten Sprache für die Erfassung von Anforderungen und deren Einbindung in den Prozeß des Systementwurfs, basierend auf axiomatischen Spezifikationen. Vorarbeiten sollen dabei auch für die maschinengestützte Realisierung der verfolgten Software-Entwicklungsmethode geleistet werden.