ESPRIT Projekt PROSPECTRA

(PROgram development by SPECification and TRAnsformation)

Prof. Krieg-Brückner war von 1985 bis 1990 Leiter des Verbundforschungsprojekts PROSPECTRA (PROgram development by SPECification and TRAnsformation) mit 8 Universitäts- und Industrie-Partnern im ESPRIT Programm der EU (Gesamtetat ca. 18 Mio DM, bei 50%iger Finanzierung durch die EG).

Ausgehend von einer formalen Spezifikation der Anforderungen werden Schritt für Schritt korrektheitserhaltende, optimierende Transformationsregeln angewendet; Konstruktion und Verifikation sind integriert. Formalisierte Transformationsregeln und Entwicklungsmethoden ("Meta-Programme") bilden, mit wiederverwendbaren, generischen Spezifikationen, Programmkomponenten, Entwicklungsgeschichten und Beweisen, den Kern einer Wissensbasis der Programmentwicklung.