KORSO (Korrekte Software)

Programmentwicklung durch Spezifikation und Transformation

Teilvorhaben des BMFT Verbundprojekts KORSO
(Korrekte Software)

Schlußbericht

Universität Bremen
FB3 Mathematik und Informatik
Prof. Dr. Bernd Krieg-Brückner

Dieser Schlußbericht stellt das Bremer Teilvorhaben des BMFT Verbundprojekts KORSO (Korrekte Software) und seine Ergebnisse dar.

Mit dem Ansatz der "Programm-Entwicklung durch Spezifikation und Transformation" werden schematische Entwicklungsschritte als korrektheitserhaltende Regeln formalisiert und zu taktischen Methoden verallgemeinert. Regeln und effiziente Taktiken können im Kalkül als korrekt bewiesen bzw. formal hergeleitet werden. Von konkreten Entwicklungen kann zur späteren Wiederverwendung abstrahiert werden.

1. Aufgabenstellung
2. Voraussetzungen
3. Planung und Ablauf
4. Wissenschaftlich-technischer Ausgangspunkt
   • Programm-Entwicklung durch Transfomation
   • PROSPECTRA
   • SPECTRAL
   • Literatur
5. Zusammenarbeit mit anderen Stellen
   • COMPASS
   • Andere Teilvorhaben
6. Ergebnisse
   • Zusammenfassung der Ergebnisse
   • Transfer der Ergebnisse aus PROSPECTRA
   • Korrekte, objektsprachen-unabhängige Transformationsregeln
   • Formalisierung transformationeller Entwicklungen,
     Wiederverwendbarkeit von Entwicklungsprozessen
   • Meta-Entwicklung, effiziente Transformationsprogramme
   • KORSO Systemarchitektur
   • Grafische Darstellung der Datenbasis
7. Nutzen und Verwertbarkeit
8. Fortschritt bei anderen Stellen
9. Veröffentlichungen

Kontaktadresse