Home › Biblio

Biblio

Export 697 results:
Sort by: Author Keyword Title Type [ Year (Asc)]
1984
Ehrich, H. - D., and (ed), "Proceedings Fachgespräche", GI – 14. Jahrestagung, Braunschweig, Springer, 1984. Abstract
Ehrich, H. - D., U. W. Lipeck, and M. Gogolla, "Specification, Semantics, and Enforcement of Dynamic Database Constraints", Proc Int Conf on Very Large Databases VLDB '84, pp. 301-308, 1984. Abstract  Download: 1984VLDB.pdf (462.55 KB)
Drosten, K., and H. - D. Ehrich, "Translating algebraic specifications to PROLOG programs", Bericht Nr. 84-08, Institut für Informatik: TU Braunschweig, 1984. Abstract
1985
Ramm, I., K. Neumann, U. W. Lipeck, and H. - D. Ehrich, Eine Benutzerschnittstelle für geowissenschaftliche Datenbanken, : Technische Universität Braunschweig, 1985. Abstract
Gogolla, M., "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
Neugebauer, L., and K. Neumann, Schemagesteuerte Testdatengenerierung für relationale Datenbanken, : Technische Universität Braunschweig, 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. Abstract  Download: 1985AlgSpecDB.pdf (349.23 KB)
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  Download: 1985Geo.pdf (788.93 KB)
Lipeck, U. W., H. - D. Ehrich, and M. Gogolla, "Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic", Proc IFIP Working Conf on Theoretical and Formal Aspects of Information Systems: North-Holland, Amsterdam, pp. 145-157, 1985. Abstract  Download: 1985TFAIS.pdf (602.54 KB)
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  Download: 1985Tutzing.pdf (877.62 KB)
1986
, Abstracts of the 4th Workshop on Specification of Abstract Data Types, : Technische Universität Braunschweig, Informatik-Bericht 86-09, 1986. Abstract
Hohenstein, U., L. Neugebauer, and G. Saake, "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
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
Lipeck, U. W., "Stepwise Specification of Dynamic Database Behaviour", Proc1 1986 ACM-SIGMOD Int1 Conf1 on Management of Data, pp. 387-397, 1986. Abstract
Gogolla, M., Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen, : 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
Ehrich, H. - D., "Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics", Proc Workshop on Category Theory and Computer Programming: Springer, Berlin, LNCS series, pp. 412-433, 1986. Abstract  Download: 1986KeyExtens.pdf (277.5 KB)
1987
Feng, D. S., and U. W. Lipeck, Deterministische Überwachung temporaler Formeln, , no. 87-06: Technische Universität Braunschweig, 1987. Abstract
Lohmann, F., Handling Geo-Scientific Database Objects in a Higher Level Programming Language, , no. 87-11: Technische Universität Braunschweig, 1987. 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
Lipeck, U. W., and K. Neumann, "Modelling and Manipulating Objects in Geoscientific Databases", Proc1 5th Int1 Conf1 on the Entity-Relationship Approach: North-Holland, Amsterdam, pp. 67-86, 1987. Abstract
Lipeck, U. W., and G. Saake, "Monitoring Dynamic Integrity Constraints Based on Temporal Logic", Information Systems, vol. 12, pp. 255-269, 1987. Abstract
Gogolla, M., "On Parametric Algebraic Specifications with Clean Error Handling", Proc1 TAPSOFT'87, Pisa (I), Vol1 I: LNCS 249, Springer, Berlin, pp. 81-95, 1987. Abstract
Lohmann, F., Vorüberlegungen für den zweiten Prototyp eines geowissenschaftlichen Datenbanksystems, , no. 87-04: Technische Universität Braunschweig, 1987. Abstract
Sernadas, A., C. Sernadas, and H. - D. Ehrich, "Object-Oriented Specification of Databases: An Algebraic Approach", Proc 13th Int Conf on Very Large Databases VLDB'87: VLDB Endowment Press, Saratoga (CA), pp. 107-116, 1987. Abstract  Download: 1987VLDB.pdf (679.95 KB)
Drawin, M., K. Neumann, and H. - D. Ehrich, "Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken", Proc Datenbanksysteme in Büro, Technik und Wissenschaft: Informatik-Fachbericht 136, Springer, Berlin, pp. 231-246, 1987. Abstract  Download: 1987BTW.pdf (739.81 KB)
Hohenstein, U., L. Neugebauer, G. Saake, and H. - D. Ehrich, "Three-Level Specification of Databases Using an Extended Entity-Relationship Model", Proc GI-Fachtagung ``Informationsermittlung und -analyse für den Entwurf von Informationssystemen'': Informatik-Fachbericht 143, Springer, Berlin, 1987, pp. 58-88, 1987. Abstract  Download: 1987ThreeLevelSpec.pdf (1.21 MB)
1988
Hohenstein, U., Automatic Transformation of Entity-Relationship Schemas into Relational Schemas, , no. 88-10: Technische Universität Braunschweig, 1988. Abstract
Jungclaus, R., and K. Neumann, Benutzerhandbuch zum ersten Prototypen des Braunschweiger Geo-Datenbanksystems, , no. 88-01: Technische Universität Braunschweig, 1988. Abstract
Hohenstein, U., and M. Gogolla, "A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions", Proc1 7th Int1 Conf1 on the Entity-Relationship Approach: North-Holland, Amsterdam, pp. 129-148, 1988. Abstract
Küspert, K., G. Saake, and L. Wegner, Duplicate Detection and Deletion in the Extended NF$^2$ Data Model, , no. TR 88.11.0: IBM Wissenschaftliches Zentrum Heidelberg, 1988. Abstract
Ebert, J., and G. Engels, "Ein Konzept zur Beschreibung von Software-Architekturen", Fachberichte Informatik Nr. 11/88, 1988. Abstract
Lipeck, U. W., and G. Saake, "Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen", Proc1 GI Jahrestagung, vol. 2: Informatik-Fachbericht 188, Springer, pp. 449-463, 1988. Abstract
Saake, G., and U. W. Lipeck, "Foundations of Temporal Integrity Monitoring", Proc1 IFIP Working Conf1 on Temporal Aspects in Information Systems: North-Holland Publ1 Comp., Amsterdam, pp. 235-249, 1988. Abstract
Engels, G., T. Janning, and W. Schäfer, "A Highly Integrated Tool Set for Program Development Support", Proc1 ACM Symposium on Personal and Small Computers: ACM, New York, 1988. Abstract