MLU
INF.08036.02 - Statische Analyse von Software (Vollständige Modulbeschreibung)
Originalfassung Englisch
INF.08036.02 5 CP
Modulbezeichnung Statische Analyse von Software
Modulcode INF.08036.02
Semester der erstmaligen Durchführung
Fachbereich/Institut Institut für Informatik
Verwendet in Studiengängen / Semestern
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Akkreditierungsfassung gültig ab SoSe 2023 > Vertiefende Module der Vertiefungsrichtung `Softwaretechnik und Übersetzerbau`
  • Wirtschaftsinformatik (Business Information Systems) (MA120 LP) (Master) > Wirtschaftsinformatik WirtschaftsinformatMA120, Akkreditierungsfassung gültig ab WS 2020/21 > 2.2 Informatik
Modulverantwortliche/r
Weitere verantwortliche Personen
Prof. Dr. Wolf Zimmermann
Teilnahmevoraussetzungen
Besuch von Übersetzerbau I (kann auch gleichzeitig erfolgen)
Kompetenzziele
  • Die Studierenden sollen in der Lage sein, sich in wissenschaftliche Fragestellungen aus dem Bereich der Statischen Programmanalyse und deren Anwendungen einzuarbeiten.
Modulinhalte
1. Lokale Analysen
2. Globale Analysen
3. Interprozedurale Analysen
Lehrveranstaltungsformen Seminar (4 SWS)
Kursus
Unterrichtsprachen Deutsch, Englisch
Dauer in Semestern 1 Semester Semester
Angebotsrhythmus Modul beginnend im Wintersemester im Wechsel mit
Aufnahmekapazität Modul unbegrenzt
Prüfungsebene
Credit-Points 5 CP
Modulabschlussnote LV 1: %; LV 2: %.
Faktor der Modulnote für die Endnote des Studiengangs 1
Hinweise
Dieses Modul ist ein weiterführendes Modul der Vertiefungsrichtung "Softwaretechnik und Übersetzerbau"
Modulveran­staltung Lehrveranstaltungs­form Veranstaltungs­titel SWS Workload Präsenz Workload Vor- / Nach­bereitung Workload selbstge­staltete Arbeit Workload Prüfung incl. Vorbereitung Workload Summe
LV 1 Seminar Seminar 4 0
LV 2 Kursus Selbststudium 0
Workload modulbezogen 150 150
Workload Modul insgesamt 150
Prüfung Prüfungsvorleistung Prüfungsform
LV 1
LV 2
Gesamtmodul
Bearbeitung aller Übungsaufgaben
mündl. Prüfung oder Klausur
Wiederholungsprüfung
Regularien Teilnahme­voraussetzungen Angebots­rhythmus Anwesenheits­pflicht Gewicht an Modulnote in %
LV 1 Wintersemester Nein %
LV 2 Wintersemester Nein %