INF.08036.02 - Statische Analyse von Software (Veranstaltungsübersicht)

INF.08036.02 - Statische Analyse von Software (Veranstaltungsübersicht)

INF.08036.02 Institut für Informatik 5 CP

Statische Analyse von Software

Lehrveranstaltungen WiSe 2024/25
Teilnahmevoraussetzungen
Besuch von Übersetzerbau I (kann auch gleichzeitig erfolgen)
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)