Correctness-by-Construction – Wie machen wir bessere Software? (Prof. Dr.-Ing. Ina Schaefer)

Prof. Dr.-Ing. Ina Schaefer sprach im Rahmen der Veranstaltung "KIT im Rathaus" über Software als Grundlage aller technischen Objekte. Dabei referiert sie auch über Softwarefehler und geht auf Risiken und Beispiele in der Gesellschaft und der Geschichte ein, wie zum Beispiel in der Luft- und Raumfahrt.
Woher kommen diese Softwarefehler? Auf diese Frage und wie man diese Fehler vermeiden kann, findet Frau Prof. Dr.-Ing. Ina Schaefer Antworten. Prof. Dr.-Ing. Ina Schaefer ist Professorin für Test, Validierung und Analyse Software-intensiver Systeme (TVA) am Institut für Informationssicherheit und Verlässlichkeit (KASTEL).
Der Vortrag fand statt am 30. Januar 2023 im Rahmen der Reihe "KIT im Rathaus". Diesmal stellte sich das KIT-Zentrum Information · Systeme · Technologien (KCIST) vor.