Seminar Spezifikation und Herleitung von Programmen, SS 2005
| Veranstalter | HD Dr. Ralf Hinze |
| Teilnehmerzahl | 12 |
| Vorbesprechung | wird noch bekanntgegeben |
| Zeit | Blockseminar am Ende des Semesters, Näheres wird noch bekanntgegeben |
| Ort | wird noch bekanntgegeben |
Übersicht
Inhalt
Wir sind in zunehmendem Maße von dem korrekten Funktionieren von Rechnern und ihrer Software abhängig. Jede Informatikstudentin und jeder Informatikstudent sollte sich daher im Laufe des Studiums mit Logik und der Korrektheit von Programmen auseinandersetzen. Das Seminar bietet dazu eine erste Gelegenheit: es beschäftigt sich mit der systematischen Konstruktion korrekter Programme, insbesondere mit der schrittweisen Herleitung einer Implementierung aus einer Spezifikation (`correct-by-construction' program design). Als Grundlage für das Seminar dient das Buch "Program Construction: Calculating Implementations from Specifications" von Roland Backhouse.