inf481 - Software Analysis
Modulbezeichnung | Software Analysis |
Modulkürzel | inf481 |
Kreditpunkte | 6.0 KP |
Workload | 180 h |
Einrichtungsverzeichnis | Department für Informatik |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Teilnahmevoraussetzungen | Nützliche Vorkenntnisse: Programmierung, Logik |
Kompetenzziele | Softwareanalysen dienen der Berechnung von Fakten über Programme aus dem Programmtext. Solche Fakten können beispielsweise vom Compiler zur Optimierung während der Übersetzung eingesetzt werden, aber auch zur Verifikation von Korrektheitseigenschaften genutzt werden. Die Studierenden lernen verschiedene Analyseverfahren kennen, spezifizieren selber solche Verfahren und implementieren sie.
Methodenkompetenzen
Sozialkompetenzen
Selbstkompetenzen
|
Modulinhalte |
|
Literaturempfehlungen |
|
Links | |
Unterrichtssprache | Englisch |
Dauer in Semestern | 1 Semester |
Angebotsrhythmus Modul | jedes Sommersemester |
Aufnahmekapazität Modul | unbegrenzt |
Lehr-/Lernform | V + Ü |
Vorkenntnisse | Nützliche Vorkenntnisse: Programmierung, Logik |
Lehrveranstaltungsform | Kommentar | SWS | Angebotsrhythmus | Workload Präsenz |
---|---|---|---|---|
Vorlesung | 2 | SoSe | 28 | |
Übung | 2 | SoSe | 28 | |
Präsenzzeit Modul insgesamt | 56 h |
Prüfung | Prüfungszeiten | Prüfungsform |
---|---|---|
Gesamtmodul | Wöchentliche Übungsaufgaben, Praktikumsaufgaben im Block, mündliche Prüfung am Ende |
Klausur oder mündl. Prüfung |