Statische Analyse von Software (gültig ab WiSe 2023/24) (Veranstaltungsübersicht)

Statische Analyse von Software (gültig ab WiSe 2023/24) (Veranstaltungsübersicht)

INF.08036.03 Institut für Informatik 5 CP

Statische Analyse von Software

Lehrveranstaltungen WiSe 2026/27
Teilnahmevoraussetzungen
Übersetzerbau
Hinweise
Dieses Modul ist ein weiterführendes Modul der Vertiefungsrichtung "Softwaretechnik und Übersetzerbau".
Prüfungsvorleistung Modul
Bearbeitung aller Übungsaufgaben
Prüfungsleistung Modul
mündl. Prüfung oder Klausur
Kompetenzziele
  • Die Studierenden sollen in der Lage sein, sich in wissenschaftliche Fragestellungen aus dem Bereich der Statischen Programmanalyse und deren Anwendungen einzuarbeiten.
Modulteile Semesterveranstaltungen Prüfungsleistung
LV 1: Seminar (Seminar)
LV 2: Kursus (Selbststudium)