Burkhardt Renz
Professor für Informatik i.R.
Technische Hochschule Mittelhessen
Fachbereich MNI
Burkhardt.Renz
Schwerpunkte
Softwaretechnik – Formale Methoden
Datenbanksysteme – Relationale Logik
Aktuelles
Sprechstunde: Vereinbarung per E-Mail
Veranstaltungen
Sommersemester 2024
Interaktives Spezifizieren und Verifizieren von Softwareartefakten (MSc)
Frühere Semester
Wissenschaftliches Arbeiten in der Informatik (BSc)
Datenbanksysteme (BSc)
Softwaretechnik (BSc)
Funktionale Programmierung (BSc)
Logik und formale Methoden (MSc)
Interaktives Spezifizieren und Verifizieren von Softwareartefakten (MSc)
Datenbanken und Informationssysteme (MSc)
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
eBC eBooks Collection Toolbox
MNI Macro Processor MMP
Redaktionssystem Modulkatalog RedMoK
Elektronisches Personenstandsregister XPSR
Publikationen
Institut für SoftwareArchitektur
Archiv
Miscellanea
Schreiben für die Leser
Dokumentation von DTDs
Vim