Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.

Statische und dynamische Programmanalyse
20-00-0580
Gebiet: Foundations of Computing
Modulverantwortlicher: Prof. Dr.-Ing. Heiko Mantel
Kreditpunkte: 6 Dauer: 1 Semester Turnus: Jedes Semester
Zeit gesamt: 180 h davon Präsenz: 40 h davon eigenständig: 140 h
Lehrveranstaltung:
Statische und dynamische Programmanalyse
Dozenten: Dr.-Ing. Markus Aderhold; Prof. Dr.-Ing. Heiko Mantel
Vorlesung 4 SWS
Modulbeschreibung:
Lehrinhalte
Es werden unter anderem verschiedene Techniken zur formalen Programmanalyse wie etwa
Typsysteme, abstrakte Interpretation, Datenflussanalyse oder Laufzeitmonitore behandelt.
Kompetenzen
Techniken zur Progammanalyse formales Verständniss von Programmen und deren Eigenschaften.
Literatur
Voraussetzungen
Pflichtveranstaltungen des Bachelors.
Diploma Supplement
Modulhandbuch Informatik 176