Archive of suspended modules
Here you can find the extracted modules of the module handbook for the master program in computer science.
Basic modules
Research Area: Software, Security and Verification
Advanced modules
Research Area: Software, Security and Verification
- INF-MSc-301: Algebraische Grundlagen der Softwaretechnik PDF (98 KB)
- INF-MSc-302: Ausgewählte Forschungsfragen der Sicherheit PDF (105 KB)
- INF-MSc-303: Baum- und graphbasierte Uebersetzungs- und Analysetechniken PDF (107 KB)
- INF-MSc-304: Funktionales und regelbasiertes Programmieren PDF (109 KB)
- INF-MSc-306: Logisch-algebraischer Systementwurf 1: Spezifikation, Modelle, Strukturierung PDF (112 KB)
- INF-MSc-307: Logisch-algebraischer Systementwurf 2: Test, Verifikation und Transformation PDF (107 KB)
- INF-MSc-308: Modale und temporale Logiken als Modellierungswerkzeuge zur Softwarekonstruktion PDF (97 KB)
- INF-MSc-309: Sicherheit durch Kryptographie PDF (107 KB)
- INF-MSc-310: Software-Architekturen PDF (97 KB)
- INF-MSc-312: Komponenten- und Service-Orientierte Softwarekonstruktion PDF (106 KB)
- INF-MSc-317: Reaktive Sicherheit PDF (98 KB)
- INF-MSc-318: Logisch-algebraischer Systementwurf PDF (102 KB)
- INF-MSc-319: Logische Methoden des Software Engineering PDF (109 KB)
- INF-MSc-321 Markoffsche Transitionssysteme PDF (98 KB)
Research Area: Embedded and Distributed Systems
Research Area: Intelligent Systems
Research Area: Algorithms and Complexity
Minor Modules
Logistics minor
Elective modules
Minor in electrical engineering
Basic modules
- Modulbeschreibungen PDF (334 KB)
Elective modules
- Modulbeschreibungen PDF (262 KB)