Korrekte Software: Grundlagen und Methoden
Vorlesungsfolien
Hier werden die Unterlagen zur Vorlesung zur Verfügung gestellt.
Die Vorlesungsfolien sind jeweils verfügbar als ganzseitiges PDF zum Betrachten, oder als 8:1 Handzettel ohne Effekte zum Drucken:
- Alle Vorlesungen in einer Datei: Folien, Handzettel
- Vorlesung vom 04.04.18 — Einführung: Folien, Handzettel
- Vorlesung vom 10.04.18 — Operationale Semantik: Folien, Handzettel
- Vorlesung vom 17.04.18 — Denotationale Semantik: Folien, Handzettel
- Vorlesung vom 24.04.18 — Äquivalenz der Operationalen und Denotationalen Semantik: Folien, Handzettel
- Vorlesung vom 03.05.18 — Die Floyd-Hoare-Logik: Folien, Handzettel
- Vorlesung vom 15.05.18 — Invarianten und die Korrektheit des Floyd-Hoare-Kalküls: Folien, Handzettel
- Vorlesung vom 22.05.16 — Strukturierte Datentypen: Strukturen und Felder: Folien, Handzettel
- Vorlesung vom 29.05.18 — Modellierung und Spezifikation: Folien, Handzettel
- Vorlesung vom 05.06.18 — Verifikationsbedingungen: Folien, Handzettel
- Vorlesung vom 12.06.18 — Vorwärts mit Floyd und Hoare: Folien, Handzettel
- Vorlesung vom 19.06.18 — Funktionen und Prozeduren: Folien, Handzettel
- Vorlesung vom 26.06.18 — Referenzen und Speichermodelle: Folien, Handzettel
- Vorlesung vom 03.07.18 — Rückblick \& Ausblick: Folien, Handzettel
Hier sind die vorlesungsbegleitenden Unterlagen (Skriptum) in der Version vom 01.08.2018.