Correctness-by-Construction – Wie machen wir bessere Software? (Prof. Dr.-Ing. Ina Schaefer)
Involved person
Editor
Zentrum für Angewandte Kulturwissenschaft und Studium Generale (ZAK)
Participating institute
Studium Generale. Forum Wissenschaft und Gesellschaft (FORUM)
Genre
Description
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.
Duration (hh:mm:ss)
00:16:38
Series
KIT im Rathaus - 30.01.2023: Das Zeitalter der Daten und Künstlichen Intelligenz (KIT-Zentrum KCIST)
Published on
05.06.2023
Subject area
License
| Resolution | 1280 x 720 Pixel |
| Aspect ratio | 16:9 |
| Audio bitrate | 64074 bps |
| Audio channels | 1 |
| Audio Codec | aac |
| Audio Sample Rate | 48000 Hz |
| Total Bitrate | 449037 bps |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Duration | 997.568000 s |
| Filename | DIVA-2023-114_mp4.mp4 |
| File Size | 55.993.196 byte |
| Frame Rate | 25 |
| Video Bitrate | 378926 bps |
| Video Codec | h264 |
Media URL
Embed Code
