Correctness-by-Construction – Wie machen wir bessere Software? (Prof. Dr.-Ing. Ina Schaefer)
Beteiligte Person
Herausgeber
Zentrum für Angewandte Kulturwissenschaft und Studium Generale (ZAK)
Beteiligtes Institut
Zentrum für Angewandte Kulturwissenschaft und Studium Generale (ZAK)
Genre
Beschreibung
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.
Laufzeit (hh:mm:ss)
00:16:38
Serie
KIT im Rathaus - 30.01.2023: Das Zeitalter der Daten und Künstlichen Intelligenz (KIT-Zentrum KCIST)
Publiziert am
05.06.2023
Fachgebiet
Allgemeines, Hochschulwesen, Wissenschaft und Forschung
Lizenz
| Auflösung | 1280 x 720 Pixel |
| Seitenverhältnis | 16:9 |
| Audiobitrate | 64074 bps |
| Audio Kanäle | 1 |
| Audio Codec | aac |
| Audio Abtastrate | 48000 Hz |
| Gesamtbitrate | 449037 bps |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Dauer | 997.568000 s |
| Dateiname | DIVA-2023-114_mp4.mp4 |
| Dateigröße | 55.993.196 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 378926 bps |
| Video Codec | h264 |
Mediathek-URL
Embed-Code
