.gif)
]
"Konzepte einer Software-Architektur-Beschreibungssprache",
Tagungsband GI-Fachtagung ``Software-Entwicklung'': Informatik-Fachbericht Nr. 212, Springer, Berlin, 1989.
Abstract
On First Order Temporal Logics with Changing Domains for Information System Specification,
, no. 89-01: Technische Universität Braunschweig, 1989.
Abstract
Programmentwicklungsumgebungen, Konzepte und Realisierung,
: Teubner, Stuttgart, 1989.
Abstract
"Sorting, Grouping, and Duplicate Elimination in the Advanced Information Management Prototype",
Proc1 15th Int1 Conf1 on Very Large Databases VLDB'89: Morgan Kaufmann, Palo Alto, 1989, pp. 307-316, 1989.
Abstract
Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring,
, no. 89-04: Technische Universität Braunschweig, 1989.
Abstract
"Using Finite-Linear Temporal Logic for Specifying Database Dynamics",
Proc1 CSL'88 2nd Workshop Computer Science Logic: Springer, Berlin, pp. 288-300, 1989.
Abstract
"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)
"Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung",
Proc GI-Workshop ``Sprachspezifische Programmierumgebungen'', pp. 38-51, 1988.
Abstract
Download: 1988DBEntwUmg2.pdf (564.82 KB)
"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)
Eine geowissenschaftliche Datenbanksprache mit benutzerdefinierbaren geometrischen Datentypen,
, vol. Dr.: Technische Universität Braunschweig, 1988.
Abstract
"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)
"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)
Automatic Transformation of Entity-Relationship Schemas into Relational Schemas,
, no. 88-10: Technische Universität Braunschweig, 1988.
Abstract
Benutzerhandbuch zum ersten Prototypen des Braunschweiger Geo-Datenbanksystems,
, no. 88-01: Technische Universität Braunschweig, 1988.
Abstract
"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
Duplicate Detection and Deletion in the Extended NF$^2$ Data Model,
, no. TR 88.11.0: IBM Wissenschaftliches Zentrum Heidelberg, 1988.
Abstract
"Ein Konzept zur Beschreibung von Software-Architekturen",
Fachberichte Informatik Nr. 11/88, 1988.
Abstract
"Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen",
Proc1 GI Jahrestagung, vol. 2: Informatik-Fachbericht 188, Springer, pp. 449-463, 1988.
Abstract
"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
"A Highly Integrated Tool Set for Program Development Support",
Proc1 ACM Symposium on Personal and Small Computers: ACM, New York, 1988.
Abstract
"A Hybrid Interpreter in a Software Development Environment",
Proc. 1st European Software Engineering Conference: LNCS 289, Springer, Berlin, 1988.
Abstract
"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
Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken,
: Technische Universität Braunschweig, 1988.
Abstract
Towards a Semantic View of an Extended Entity-Relationship Model,
, no. 88-02: Technische Universität Braunschweig, 1988.
Abstract
"Transformation of Dynamic Integrity Constraints into Transaction Specifications",
Proc1 2nd Int1 Conf1 on Database Theory: LNCS 326, Springer, Berlin, pp. 322-337, 1988.
Abstract
Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen,
: Technische Universität Braunschweig, 1988.
Abstract
"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)
"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)
"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)
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