Proseminar (Grundstudium)
Proseminar Spezifikation und Herleitung von Programmen
HD Dr. Ralf Hinze
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 Proseminar 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.
| Zeit, Ort | Mo 13-15, SR A121 |
| Vorbesprechung | Mo 2.2.2004, 13.15, HS A207 |
| Teilnehmerzahl | 12 |
|
Übersicht: alle Semester
Proseminar Elementare Stochastik
Proseminar XML-Technologien