Universität Bremen  
  FB 3  
  AG BKB > Forschung > Formal Methods > Abgeschlossene Projekte > Deutsch
English
 

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
  5. Zusammenarbeit mit anderen Stellen
  6. Ergebnisse
  7. Nutzen und Verwertbarkeit
  8. Fortschritt bei anderen Stellen
  9. Veröffentlichungen

Kontaktadresse

 
   
Autor: Prof. Dr. Bernd Krieg-Brückner
 
  AG BKB 
Zuletzt geändert am: 12. September 2002   impressum