.gif)
]
Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen,
: Technische Universität Braunschweig, 1988.
Abstract
Deterministische Überwachung temporaler Formeln,
, no. 87-06: Technische Universität Braunschweig, 1987.
Abstract
Handling Geo-Scientific Database Objects in a Higher Level Programming Language,
, no. 87-11: Technische Universität Braunschweig, 1987.
Abstract
Konzepte und Werkzeuge für eine Datenbank-Entwurfsumgebung,
, no. 87-05: Technische Universität Braunschweig, 1987.
Abstract
"Modelling and Manipulating Objects in Geoscientific Databases",
Proc1 5th Int1 Conf1 on the Entity-Relationship Approach: North-Holland, Amsterdam, pp. 67-86, 1987.
Abstract
"Monitoring Dynamic Integrity Constraints Based on Temporal Logic",
Information Systems, vol. 12, pp. 255-269, 1987.
Abstract
"Object-Oriented Specification of Databases: An Algebraic Approach",
Proc1 13th Int1 Conf1 on Very Large Databases VLDB'87: VLDB Endowment Press, Saratog1 (CA), pp. 107-116, 1987.
Abstract
"On Parametric Algebraic Specifications with Clean Error Handling",
Proc1 TAPSOFT'87, Pisa (I), Vol1 I: LNCS 249, Springer, Berlin, pp. 81-95, 1987.
Abstract
"Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken",
Proc1 Datenbanksysteme in Büro, Technik und Wissenschaft: Informatik-Fachbericht 136, Springer, Berlin, pp. 231-246, 1987.
Abstract
"Three-Level Specification of Databases Using an Extended Entity-Relationship Model",
Proc1 GI-Fachtagung ``Informationsermittlung und -analyse für den Entwurf von Informationssystemen'': Informatik-Fachbericht 143, Springer, Berlin, 1987, pp. 58-88, 1987.
Abstract
Vorüberlegungen für den zweiten Prototyp eines geowissenschaftlichen Datenbanksystems,
, no. 87-04: Technische Universität Braunschweig, 1987.
Abstract
"Abstracts of the 4th Workshop on Specification of Abstract Data Types",
Abstracts of the 4th Workshop on Specification of Abstract Data Types: Informatik-Bericht Nr. 86-09, Technische Universität Braunschweig, 1986.
Abstract
Abstracts of the 4th Workshop on Specification of Abstract Data Types,
: Technische Universität Braunschweig, Informatik-Bericht 86-09, 1986.
Abstract
"An Extended Entity-Relationship Model for Non-Standard Databases",
Proc1 Workshop ``Relationale Datenbanken'', Bericht Nr1 3-86: Inst1 für Informatik, TU Clausthal-Zellerfeld, pp. 185-211, 1986.
Abstract
"Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics",
Proc1 Workshop on Category Theory and Computer Programming: Springer, Berlin, LNCS series, pp. 412-433, 1986.
Abstract
Monitoring Dynamic Database Integrity by Transition Graphs,
, no. 86-08: Technische Universität Braunschweig, 1986.
Abstract
"Stepwise Specification of Dynamic Database Behaviour",
Proc1 1986 ACM-SIGMOD Int1 Conf1 on Management of Data, pp. 387-397, 1986.
Abstract
Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen,
: Technische Universität Braunschweig, 1986.
Abstract
"Algebraic (?) specification of conceptual database schemata (extended abstract)",
Recent Trends in Data Type Specification, Informatik-Fachberichte, vol. 116: Springer, 1985.
"Einführung in das Projekt: Entwurf einer Benutzerschnittstelle für eine graphisch-alphanumerische Datenbank",
Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe I, no. Heft 95, pp. 115-124, 1985.
Abstract
Eine Benutzerschnittstelle für geowissenschaftliche Datenbanken,
: Technische Universität Braunschweig, 1985.
Abstract
"A Final Algebra Semantics for Errors and Exceptions",
Recent Trends in Data Type Specification, Proc1 3rd Workshop on Theory and Applications of Abstract Data Types (Selected Papers), Bremen (D): Springer, Berlin, IF1 116, pp. 89-103, 1985.
Abstract
Schemagesteuerte Testdatengenerierung für relationale Datenbanken,
: Technische Universität Braunschweig, 1985.
Abstract
"Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic",
Proc1 IFIP Working Conf1 on Theoretical and Formal Aspects of Information Systems: North-Holland, Amsterdam, pp. 145-157, 1985.
Abstract
"Spezifikation konzeptioneller Schemata mit abstrakten Datentypen und Versionen",
Proc. GI-Fachgespräch ``Entwurf von Informationssystemen - Methoden und Modelle'', pp. 1-19, 1985.
Abstract
"Proceedings",
GI – 14. Jahrestagung, Braunschweig, Informatik-Fachberichte Nr. 88, Springer, 1984.
Abstract
"Proceedings Fachgespräche",
GI – 14. Jahrestagung, Braunschweig, Springer, 1984.
Abstract
"Translating algebraic specifications to PROLOG programs",
Bericht Nr. 84-08, Institut für Informatik: TU Braunschweig, 1984.
Abstract
"Algebraic and Operational Semantics of Specifications allowing Exceptions and Errors",
Theoretical Computer Science, vol. 34, 1984.
Abstract
Lastabhängige Änderungen am internen Schema von relationalen Datenbanken,
: Technische Universität Braunschweig, 1984.
Abstract
"Specification, Semantics, and Enforcement of Dynamic Database Constraints",
Proc1 Int1 Conf1 on Very Large Databases VLDB '84, pp. 301-308, 1984.
Abstract
"Algebraic and operational semantics of exceptions and errors",
Proc. 6. GI-Fachtagung für Theoretische Informatik: Springer LNCS 145, 1983.
Abstract
"Algebraic domain equations",
Theoretical Computer Science, vol. 27, pp. 167-196, 1983.
Abstract
"Algebraic Specifications with Subsorts Using Declarations",
EATCS Bulletin, vol. 21, pp. 31-38, 1983.
Abstract