Schwerpunkte

• Softwaretechnik – Formale Methoden
• Datenbanksysteme – Relationale Logik

Aktuelles

Sprechstunde im Wintersemester:
Mi 10:00 - 11:00

Veranstaltungen

Wintersemester 2018/19

• Wissenschaftliches Arbeiten in der Informatik (BSc)
• Datenbanken und Informationssysteme (MSc)
• Softwareanforderungsanalyse (MSc)
• Problem Frames (MSc)

Frühere Semester

• Datenbanksysteme (BSc)
• Softwaretechnik (BSc)
• Funktionale Programmierung (BSc)
• Softwarearchitektur und Anwendungsentwicklung (MSc)
• Logik und formale Methoden (MSc)
• Architektur und Implementierung eines Datenbankmanagementsystems (MSc)
• Programmieren in Clojure (MSc)

Forschung, Projekte und Publikationen

• Softwaretechnik
• Softwarearchitektur
• Logic Workbench LWB
• MNI Macro Processor MMP
• eBC eBooks Collection Toolbox
• Redaktionssystem Modulkatalog RedMoK
• Elektronisches Personenstandsregister XPSR
• Publikationen

Institut für SoftwareArchitektur

• Archiv

Miscellanea

• Schreiben für die Leser
• Dokumentation von DTDs
• Vim