ARES3: Oberseminar Software Science
Reserviert für Prüfung / SWT-PCC-M: Principles of Compiler Construction
SWT-ASV-M: Applied Software Verification
SWT-FSE-B: Foundations of Software Engineering (Vorlesung)
SWT-PR1-M Masterprojekt Softwaretechnik und Programmiersprachen
SWT-PR1/2-B: Bachelor-Projekt des Lehrstuhls SWT
SWT-PR2-M: SWT Masters Project in Software Systems Science
SWT-RSD-B: Reactive Systems Design
SWT-SEM-B/M: Seminar Software Engineering and Programming Languages