Vorlesungsfolien
Die Vorlesungsfolien sind jeweils verfügbar als ganzseitiges PDF zum Betrachten, oder als 8:1 Handzettel ohne Effekte zum Drucken:
- Vorlesung vom 15.10.19 — Introduction and Notions of Quality: Folien, Handzettel
- Vorlesung vom 22.10.19 — Legal Requirements: Norms and Standards: Folien, Handzettel
- Vorlesung vom 29.10.19 — The Software Development Process: Folien, Handzettel
- Vorlesung vom 07.11.19 — Hazard Analysis: Folien, Handzettel
- Vorlesung vom 20.11.19 — High-Level Design with SysML: Folien, Handzettel
- Vorlesung vom 27.11.19 — Formal Modelling with OCL: Folien, Handzettel
- Vorlesung vom 03.12.19 — Testing: Folien, Handzettel
- Vorlesung vom 10.12.19 — Static Program Analysis: Folien, Handzettel
- Vorlesung vom 17.12.19 — Software Verification with Floyd-Hoare-Logic: Folien, Handzettel Dazu:
Vorlesung-09-Beweise.md - Vorlesung vom 07.01.20 — Verification Condition Generation: Folien, Handzettel
- Vorlesung vom 14.01.20 — Foundations of Model Checking: Folien, Handzettel
- Vorlesung vom 21.01.20 — Tools for Model Checking: Folien, Handzettel Dazu:
sources-12.zip - Vorlesung vom 28.01.20 — Concluding Remarks: Folien, Handzettel
- Alle Vorlesungen in einer Datei: Folien, Handzettel