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 02.04.19 — Einführung: Folien, Handzettel
- Vorlesung vom 09.04.19 — Operationale Semantik: Folien, Handzettel
- Vorlesung vom 11.04.19 — Denotationale Semantik: Folien, Handzettel
- Vorlesung vom 23.04.19 — Äquivalenz der Operationalen und Denotationalen Semantik: Folien, Handzettel
- Vorlesung vom 07.05.19 — Die Floyd-Hoare-Logik: Folien, Handzettel
- Vorlesung vom 14.05.19 — Invarianten und die Korrektheit des Floyd-Hoare-Kalküls: Folien, Handzettel
- Vorlesung vom 21.05.19 — Strukturierte Datentypen: Strukturen und Felder: Folien, Handzettel
- Vorlesung vom 28.05.19 — Verifikationsbedingungen: Folien, Handzettel
- Vorlesung vom 06.06.19 — Vorwärts mit Floyd und Hoare: Folien, Handzettel
- Vorlesung vom 11.06.19 — Modellierung und Spezifikation: Folien, Handzettel
- Vorlesung vom 18.06.19 — Spezifikation von Funktionen: Folien, Handzettel
- Vorlesung vom 25.06.19 — Referenzen und Speichermodelle: Folien, Handzettel
- Vorlesung vom 02.07.19 — Funktionsaufrufe und das Framing-Problem: Folien, Handzettel
- Vorlesung vom 08.07.19 — Rückblick \& Ausblick: Folien, Handzettel
Hier sind die vorlesungsbegleitenden Unterlagen (Skriptum) in der Version vom 10.07.19 .