Home › Biblio

Biblio

Export 680 results:
Sort by: Author Keyword Title Type [ Year (Desc)]
1989
Hülsmann, K., and G. Saake, Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring, , no. 89-04: Technische Universität Braunschweig, 1989. Abstract
Saake, G., and U. W. Lipeck, "Using Finite-Linear Temporal Logic for Specifying Database Dynamics", Proc1 CSL'88 2nd Workshop Computer Science Logic: Springer, Berlin, pp. 288-300, 1989. Abstract
Lipeck, U. W., Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung, : Springer, 1989. Abstract
1988
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  Download: 1988AbstrObjTypes.pdf (549.79 KB)
Engels, G., U. Hohenstein, G. Saake, and H. - D. Ehrich, "Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung", Proc GI-Workshop ``Sprachspezifische Programmierumgebungen'', pp. 38-51, 1988. Abstract  Download: 1988DBEntwUmg2.pdf (564.82 KB)
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  Download: 1988Geo.pdf (905.2 KB)
Neumann, K., Eine geowissenschaftliche Datenbanksprache mit benutzerdefinierbaren geometrischen Datentypen, , vol. Dr.: Technische Universität Braunschweig, 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  Download: 1988DBEntwUmg1.pdf (692.07 KB)
Ehrich, H. - D., K. Drosten, and M. Gogolla, "Towards an Algebraic Semantics for Database Specification", Proc 2nd IFIP WG 2.6 Working Conf on Database Semantics ``Data and Knowledge'' (DS-2), Albufeira, Portugal, North-Holland, Amsterdam, pp. 119-135, 1988. Abstract  Download: 1988Albufeira.pdf (1.08 MB)
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
Engels, G., and A. Schürr, "A Hybrid Interpreter in a Software Development Environment", Proc. 1st European Software Engineering Conference: LNCS 289, Springer, Berlin, 1988. Abstract
Lohmann, F., "Processing Non-Standard-Database Objects in a Higher Level Programming Language - An Abstract Data Type Approach", Proc. Int. Workshop on Software Engineering and its Applications, pp. 1141-1159, 1988. Abstract
Saake, G., Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken, : Technische Universität Braunschweig, 1988. Abstract
Hohenstein, U., and M. Gogolla, Towards a Semantic View of an Extended Entity-Relationship Model, , no. 88-02: Technische Universität Braunschweig, 1988. Abstract
Lipeck, U. W., "Transformation of Dynamic Integrity Constraints into Transaction Specifications", Proc1 2nd Int1 Conf1 on Database Theory: LNCS 326, Springer, Berlin, pp. 322-337, 1988. Abstract
Drosten, K., Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen, : Technische Universität Braunschweig, 1988. Abstract
1987
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)
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
1986
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)