Schwerpunkte

• Softwaretechnik – Formale Methoden
• Datenbanksysteme – Relationale Logik

Aktuelles

Sprechstunde im Sommersemester 2019:
Mi 11:30 - 12:30

Veranstaltungen

Sommersemester 2019

• Wissenschaftliches Arbeiten in der Informatik (BSc)
• Datenbanksysteme (BSc)
• Architektur und Implementierung eines Datenbankmanagementsystems (MSc)

Frühere Semester

• Softwaretechnik (BSc)
• Funktionale Programmierung (BSc)
• Datenbanken und Informationssysteme (MSc)
• Softwarearchitektur und Anwendungsentwicklung (MSc)
• Softwareanforderungsanalyse (MSc)
• Problem Frames (MSc)
• Logik und formale Methoden (MSc)
• Programmieren in Clojure (MSc)

Forschung, Projekte und Publikationen

• Softwaretechnik
• Softwarearchitektur
• Logic Workbench LWB
• Tutorials, Beispiele und Experimente mit Coq
• 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