.gif)
] Filters: Author is Saake, G. [Clear All Filters]
Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken,
: Technische Universität Braunschweig, 1988.
Abstract
"Models and Languages for Abstract Objects",
Encyclopedia of Microcomputers, vol. 11: Marcel Dekker, Inc., pp. 173-187, 1993.
Abstract
"Models and Languages for Abstract Objects",
Encyclopedia of Computer Science and Technology, vol. 30: Marcel Dekker, Inc., pp. 241-255, 1994.
Abstract
Abstract Specification of Object Interaction,
, no. 93-08: Technische Universität Braunschweig, 1993.
Abstract
"Abstracts des Workshops "Grundlagen von Datenbanken"",
Abstracts des Workshops "Grundlagen von Datenbanken": Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989.
Abstract
Conceptual Modelling of Database Applications Using an Extended ER Model,
, no. 90-05: Technische Universität Braunschweig, 1990.
Abstract
Duplicate Detection and Deletion in the Extended NF$^2$ Data Model,
, no. TR 88.11.0: IBM Wissenschaftliches Zentrum Heidelberg, 1988.
Abstract
Integration einer Prototyping-Umgebung durch Objektorientierte Spezifikation,
, no. 5: Univ1 Magdeburg, Fakultät für Informatik, 1995.
Abstract
Integration geometrischer Daten in ein erweiterbares Datenbanksystem,
, no. 75.91.12: IBM Germany, May, 1991.
Abstract
Konzepte und Werkzeuge für eine Datenbank-Entwurfsumgebung,
, no. 87-05: Technische Universität Braunschweig, 1987.
Abstract
Kurzfassungen des 21 Workshops ``Grundlagen von Datenbanken'', Volkse, 5.-8. Juni 1990,
, no. 90-02: TU Braunschweig, 1990.
Abstract
Monitoring Dynamic Database Integrity by Transition Graphs,
, no. 86-08: Technische Universität Braunschweig, 1986.
Abstract
Monitoring Temporal Preconditions in a Behaviour Oriented Object Model,
, no. 93-07: TU Braunschweig, 1993.
Abstract
Object-Oriented Specification of Information Systems: The TROLL Language,
, no. 91-04: TU Braunschweig, 1991.
Abstract
Objektorientierte Modellierung von Informationssystemen,
, no. 28: Technische Universität Braunschweig, 1992.
Abstract
On First Order Temporal Logics with Changing Domains for Information System Specification,
, no. 89-01: Technische Universität Braunschweig, 1989.
Abstract
Revised Version of the Modelling Language \sc Troll (Version 2.0),
, no. 94-03: Technische Universität Braunschweig, 1994.
Abstract
Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring,
, no. 89-04: Technische Universität Braunschweig, 1989.
Abstract
"Abstract Data Type Semantics for Many-Sorted Object Query Algebras",
Proceedings 3rd. Symp. on Mathematical Fundamentals of Database and Knowledge Base Systems MFDBS-91, Rostock (D): LNCS 495, Springer, Berlin, pp. 291-307, 1991.
Abstract
"Aggregation in a Behavior Oriented Object Model",
Proc1 European Conference on Object-Oriented Programming (ECOOP'92): Springer, LNCS 615, Berlin, pp. 57-77, 1992.
Abstract
"Animation Support for a Conceptual Modelling Language",
Proc1 4th Int1 Conf1 on Database and Expert Systems Applications (DEXA), Prague: LNCS 720, Springer, Berlin, pp. 56-67, 1993.
Abstract
"Application Modelling in Heterogeneous Environments using an Object Specification Language",
Int1 Conf1 on Intelligent & Cooperative Information Systems (ICICIS'93): IEEE Computer Society Press, pp. 309-318, 1993.
Abstract
"Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung",
Proc1 GI-Workshop ``Sprachspezifische Programmierumgebungen'', pp. 38-51, 1988.
Abstract
"Combining \sc Troll with the Object Modeling Technique",
Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch F1 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software: Springer, Informatik aktuell, pp. 35-42, 1994.
Abstract
"Concepts of Object-Orientation",
Proc1 of the 2nd Workshop of ``Informationssysteme und Künstliche Intelligenz: Modellierung'', Ulm (Germany): Springer IF1 303, pp. 1-19, 1992.
Abstract
"Conceptual Modeling of Database Applications",
Proc1 1st IS/KI Workshop, Ulm (Germany), 1990: Springer, Berlin, LNCS 474, pp. 213-232, 1991.
Abstract
"Distributed Temporal Logic for Concurrent Object Families",
Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 22-30, 1994.
Abstract
"Duplicate Detection and Deletion in the Extended NF$^2$ Data Model",
Proc1 3rd Int1 Conf1 on Foundations of Data Organization and Algorithms (FOD1 '89), Paris: LNCS 367, Springer, pp. 83-100, 1989.
Abstract
"Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen",
Proc1 GI Jahrestagung, vol. 2: Informatik-Fachbericht 188, Springer, pp. 449-463, 1988.
Abstract
"Evolving Object Specifications",
Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 311-320, 1994.
Abstract
"Expressing Temporal Behaviour with Extended ECA Rules",
Proc1 12th British National Conference on Databases (BNCO1 12), University of Surrey: Springer, LNCS, Berlin, 1994.
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
"Formal Specification of Object Systems",
Proc. TAPSOFT'91, Brighton: Springer, Berlin, LNCS 494, pp. 60-82, 1991.
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
"Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment",
Proc1 6th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'95): Springer Verlag, Berlin, LNC1 978, pp. 38-47, 1995.
Abstract