Biblio

Ehrich, H. - D., "On the Theory of Specification, Implementation and Parameterization of Abstract Data Types", Journal of the ACM, vol. 29, pp. 206-227, 1982. Abstract

Drosten, K., M. Gogolla, H. - D. Ehrich, and U. Lipeck, "A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications", Berichte der Abteilung Informatik, vol. 144: Universität Dortmund, 1982. Abstract

Gogolla, M., K. Drosten, U. Lipeck, and H. - D. Ehrich, "Algebraic and operational semantics of exceptions and errors", Proc. 6. GI-Fachtagung für Theoretische Informatik: Springer LNCS 145, 1983. Abstract

Ehrich, H. - D., and U. Lipeck, "Algebraic domain equations", Theoretical Computer Science, vol. 27, pp. 167-196, 1983. Abstract

Gogolla, M., and H. - D. Ehrich, "Algebraic Specifications with Subsorts Using Declarations", EATCS Bulletin, vol. 21, pp. 31-38, 1983. Abstract

Engels, G., U. Pletat, and H. - D. Ehrich, "An operational semantics for specification of abstract data types with error handling", Acta Informatica, vol. 19: Springer, pp. 235-253, 1983. Abstract

Durchholz, R., and H. - D. Ehrich, "Proceedings", Workshop on Information and Data Structure Description, München, Bericht der GMD Nr. 139, 1983. Abstract

Gogolla, M., K. Drosten, U. W. Lipeck, and H. - D. Ehrich, "Algebraic and Operational Semantics of Specifications allowing Exceptions and Errors", Theoretical Computer Science, vol. 34, 1984. Abstract

Ehrich, H. - D., U. W. Lipeck, and M. Gogolla, "Specification, Semantics, and Enforcement of Dynamic Database Constraints", Proc1 Int1 Conf1 on Very Large Databases VLDB '84, pp. 301-308, 1984. Abstract

Ehrich, H. - D., and (ed), "Proceedings", GI – 14. Jahrestagung, Braunschweig, Informatik-Fachberichte Nr. 88, Springer, 1984. Abstract

Ehrich, H. - D., and (ed), "Proceedings Fachgespräche", GI – 14. Jahrestagung, Braunschweig, Springer, 1984. Abstract

Drosten, K., and H. - D. Ehrich, "Translating algebraic specifications to PROLOG programs", Bericht Nr. 84-08, Institut für Informatik: TU Braunschweig, 1984. Abstract

Ramm, I., K. Neumann, U. W. Lipeck, and H. - D. Ehrich, Eine Benutzerschnittstelle für geowissenschaftliche Datenbanken, : Technische Universität Braunschweig, 1985. Abstract

Lipeck, U. W., H. - D. Ehrich, and M. Gogolla, "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

Ehrich, H. - D., "Spezifikation konzeptioneller Schemata mit abstrakten Datentypen und Versionen", Proc. GI-Fachgespräch ``Entwurf von Informationssystemen - Methoden und Modelle'', pp. 1-19, 1985. Abstract

Ehrich, H. - D., "Algebraic (?) specification of conceptual database schemata (extended abstract)", Recent Trends in Data Type Specification, Informatik-Fachberichte, vol. 116: Springer, 1985.

Ramm, I., and H. - D. Ehrich, "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

Ehrich, H. - D., "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

Lipeck, U. W., G. Saake, and H. - D. Ehrich, Monitoring Dynamic Database Integrity by Transition Graphs, , no. 86-08: Technische Universität Braunschweig, 1986. Abstract

Ehrich, H. - D., K. Drosten, M. Gogolla, U. Lipeck, and (eds), "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

Saake, G., L. Neugebauer, U. Hohenstein, and H. - D. Ehrich, Konzepte und Werkzeuge für eine Datenbank-Entwurfsumgebung, , no. 87-05: Technische Universität Braunschweig, 1987. Abstract

Sernadas, A., C. Sernadas, and H. - D. Ehrich, "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

Drawin, M., K. Neumann, and H. - D. Ehrich, "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

Hohenstein, U., L. Neugebauer, G. Saake, and H. - D. Ehrich, "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

Ehrich, H. - D., A. Sernadas, and C. Sernadas, "Abstract Object Types for Databases", Advances in Object-Oriented Database Systems: LNCS 334, Springer, Berlin, 1988, pp. 144-149, 1988. Abstract

Engels, G., U. Hohenstein, G. Saake, and H. - D. Ehrich, "Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung", Proc1 GI-Workshop ``Sprachspezifische Programmierumgebungen'', pp. 38-51, 1988. Abstract

Ehrich, H. - D., F. Lohmann, K. Neumann, and I. Ramm, "A Database Language for Scientific Map Data", Construction and Display of Geosientific Maps Derived from Databases (Proc. Int. Coll. Dinkelsbühl 1986): Geologisches Jahrbuch A 104, pp. 139-152, 1988. Abstract

Engels, G., U. Hohenstein, L. Neugebauer, G. Saake, and H. - D. Ehrich, "Konzeption einer integrierten Datenbank-Entwurfsumgebung", Proc1 DBTA/SI Conf1 ``Data Dictionaries und Entwicklungswerkzeuge für Datenbankanwendungen'': Verlag der Fachvereine an den Schweiz1 Hochschulen und Techniken, Zürich, pp. 151-157, 1988. Abstract

Ehrich, H. - D., K. Drosten, and M. Gogolla, "Towards an Algebraic Semantics for Database Specification", Proc1 2nd IFIP WG 2.6 Working Conf1 on Database Semantics ``Data and Knowledge'' (DS-2): North-Holland, Amsterdam, pp. 119-135, 1988. Abstract

Ehrich, H. - D., M. Gogolla, and U. W. Lipeck, Algebraische Spezifikation abstrakter Datentypen, : Teubner, Stuttgart, 1989. Abstract

Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "The Basic Building Blocks of Information Systems", Information System Concepts: An In-Depth Analysis: North-Holland, Amsterdam, 1989, pp. 225-246, 1989. Abstract

Lohmann, F., K. Neumann, and H. - D. Ehrich, "Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen", Proc1 GI/SI-Fachtagung ``Datenbanksysteme in Büro, Technik und Wissenschaft'': Springer, Berlin, 1989, pp. 43-57, 1989. Abstract

Ehrich, H. - D., A. Sernadas, and C. Sernadas, "Objects, Object Types, and Object Identification", Categorical Methods in Computer Science: LNCS 393, Springer, Berlin, pp. 142-156, 1989. Abstract

Ehrich, H. - D., G. Engels, M. Gogolla, G. Saake, and (eds), "Abstracts des Workshops "Grundlagen von Datenbanken"", Abstracts des Workshops "Grundlagen von Datenbanken": Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989. Abstract

Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich, "Abstract object types: A temporal perspective", Proc. Colloq. on Temporal Logic in Specification, B. Banieqbal, H. Barringer, and A. Pnueli, editors: Springer LNCS 398, 1989. Abstract

Links