Schwerpunkte

• Softwaretechnik – Formale Methoden
• Datenbanksysteme – Relationale Logik

Aktuelles

Sprechstunde in der vorlesungsfreien Zeit:
nach Vereinbarung per E-Mail

Veranstaltungen

Wintersemester 2019/20

• Datenbanken und Informationssysteme (MSc) als Blockveranstaltung 16.09. - 27.09.2019
• Problem Frames (MSc)
• Logik und formale Methoden (MSc)

Die Inhalte dieser Veranstaltungen werden in der kommenden Zeit noch aktualisiert!

Frühere Semester

• Wissenschaftliches Arbeiten in der Informatik (BSc)
• Datenbanksysteme (BSc)
• Softwaretechnik (BSc)
• Funktionale Programmierung (BSc)
• Architektur und Implementierung eines Datenbankmanagementsystems (MSc)
• Softwarearchitektur und Anwendungsentwicklung (MSc)
• Softwareanforderungsanalyse (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