Habilitations

The following former group members finished their habilitation theses since 1982:

U. Lipeck (1988):

Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung (On the dynamic integrity of databases: foundations of specification and monitoring).

G. Saake (1993):

Objektorientierte Spezifikation von Informationssystemen: Konzepte und Sprachvorschläge (Object-oriented Specification of Information systems: Concepts and Language Features).

M. Gogolla (1993):

Fundamentals and Pragmatics of an Entity-Relationship Approach.