Correctness-by-Construction – Wie machen wir bessere Software? (Prof. Dr.-Ing. Ina Schaefer)
Zentrum für Angewandte Kulturwissenschaft und Studium Generale (ZAK) [Hrsg.]; Schaefer, Ina [Beteiligte*r]
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
Abstract:
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.
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.
| Zugehörige Institution(en) am KIT | Studium Generale. Forum Wissenschaft und Gesellschaft (FORUM) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 05.06.2023 |
| Erstellungsdatum | 30.01.2023 |
| Sprache | Deutsch |
| DOI | 10.5445/IR/1000159235 |
| Identifikator | KITopen-ID: 1000159235 |
| Lizenz | KITopen-Lizenz |
| Serie | KIT im Rathaus - 30.01.2023: Das Zeitalter der Daten und Künstlichen Intelligenz (KIT-Zentrum KCIST) |
| Folge | 3 |