Vorlesungsfolien
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 17.10.17 — Introduction and Notions of Quality. Folien, Handzettel.
- Vorlesung vom 23.10.17 — Legal Requirements: Norms and Standards. Folien, Handzettel.
- Vorlesung vom 06.11.17 — The Software Development Process. Folien, Handzettel.
- Vorlesung vom 13.11.17 — Hazard Analysis. Folien, Handzettel.
- Vorlesung vom 20.11.17 — High-Level Design with SysML. Folien, Handzettel.
- Vorlesung vom 27.11.17 — Formal Modelling with OCL. Folien, Handzettel.
- Vorlesung vom 04.12.17 — Testing. Folien, Handzettel.
- Vorlesung vom 11.12.17 — Static Program Analysis. Folien, Handzettel.
- Vorlesung vom 18.12.17 — Software Verification with Floyd-Hoare-Logic. Folien, Handzettel,
Vorlesung-09-Beweise.md
. - Vorlesung vom 08.01.18 — Correctness and Verification Condition Generation. Folien, Handzettel, Quellen.
- Vorlesung vom 15.01.18 — Model Checking. Folien, Handzettel.
- Vorlesung vom 22.01.18 — Tools for Model Checking. Folien, Handzettel, Quellen.
- Vorlesung vom 29.01.18 — Concluding Remarks. Folien, Handzettel.