.gif)
] Filters: Taxonomy Term is [Clear All Filters]
Algebraic Specifications with Partially Ordered Sorts and Declarations,
, no. 169: Abt1 Informatik, Universität Dortmund, 1983.
Abstract
Lastabhängige Änderungen am internen Schema von relationalen Datenbanken,
: Technische Universität Braunschweig, 1984.
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
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
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
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
"On Parametric Algebraic Specifications with Clean Error Handling",
Proc1 TAPSOFT'87, Pisa (I), Vol1 I: LNCS 249, Springer, Berlin, pp. 81-95, 1987.
Abstract
Vorüberlegungen für den zweiten Prototyp eines geowissenschaftlichen Datenbanksystems,
, no. 87-04: Technische Universität Braunschweig, 1987.
Abstract
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
Abstracts des Workshops ``Grundlagen von Datenbanken'',
: Technische Universität Braunschweig, Informatik-Bericht 89-02, 1989.
Abstract
Algebraische Spezifikation abstrakter Datentypen,
: Teubner, Stuttgart, 1989.
Abstract
"Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach",
Proc1 Theory and Practice of Software Developmen1 (TAPSOFT'89): Springer, Berlin, LNCS 351, pp. 259-274, 1989.
Abstract