Seminar: Statische Analyse von Software (Übung) - Details

Seminar: Statische Analyse von Software (Übung) - Details

Allgemeine Informationen

Veranstaltungsname Seminar: Statische Analyse von Software (Übung)
Semester WiSe 2026/27
Aktuelle Anzahl der Teilnehmenden 3
Heimateinrichtung Leitung des Instituts für Informatik
Beteiligte Einrichtungen Praktische Informatik (Softwareengineering)
Veranstaltungstyp Seminar in der Kategorie Offizielle Lehrveranstaltungen
Nächster Termin Montag, 26.10.26, 10:15 - 11:45 Uhr Seminarraum 2.25 [VSP 1] (Informatik)
Voraussetzungen Das Modul kann gleichzeitig zu Übersetzerbau I belegt werden. Voraussetzung ist nur ein Bachelorabschluss in einem der o.g. Studiengänge bzw. der Besuch aller Pflichtmodule im Lehramt Informatik
Lernorganisation Vorlesung mit Übung. Bitte tragen Sie sich auch in die Übung ein.
Lehrsprache(n) Deutsch
Studiengänge (für) Bioinformatik (Master)
Informatik (Master)
Informatik (Lehramt)
Wirtschaftsinformatik (Master)
SWS 2
ECTS-Punkte 5

Studienbereiche

Kommentar/Beschreibung

Dieses Modul beschäftigt sich überwiegend mit Programmanalysen, wie sie in verschiedensten Werkzeugen (Übersetzer, Softwarenentwicklungsumgebungen, Sicherheitsanalysen) verwendet werden.