.gif)
] Filters: Taxonomy Term is [Clear All Filters]
"Darstellung kartographischen Wissens durch Integritätsbedingungen eines semantischen Datenmodells",
Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 110, pp. 99-109, 1993.
Abstract
Datenbank-Technik für Anwender,
, no. 32: Technische Universität Braunschweig, 1993.
Abstract
Einbindung eines bestehenden Datenbanksystems in einen formalen Software-Entwicklungsprozeß -- ein Beitrag zur HDMS-A-Fallstudie,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 1-14, 1993.
Abstract
"Eine Portierungsstrategie für ADABAS-Datenbestände und -Anwendungen nach DB2",
Wirtschaftsinformatik, vol. 35, no. 4, pp. 339-345, 1993.
Abstract
"Embedded SQL und Dynamic SQL",
Datenbankmanagement: WEKA-Verlag, pp. 9/6.1-6.2.2, 1993.
Abstract
Enhancing the Quality of Conceptual Database Specifications Through Validation,
, no. 93-17: University of Leiden, 1993.
Abstract
"Enhancing the Quality of Conceptual Database Specifications through Validation",
Proc1 12th Intern1 Conf1 on Entity-Relationship Approach, pp. 87-99, 1993.
Abstract
Generische Methoden für die frühen Entwurfsphasen von Informationssystemen,
: Technische Universität Braunschweig, 1993.
Abstract
"Generische Methoden zur Beschreibung des Software-Entwicklungsprozesses",
Proc1 5. Kolloquium Technische Akademie Esslingen: Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen '93: Technische Akademie Esslingen, pp. 551-558, 1993.
Abstract
"Migration von Datenbanken - Eine Fallstudie",
Proc1 Wirtschaftsinformatik (WI93), Münster: Physica, Heidelberg, pp. 243-255, 1993.
Abstract
"Migrationsbeispiele: Von ADABAS nach DB2 migrieren",
Datenbankmanagement: WEKA-Verlag, pp. 7/2.2.1-2.2.12, 1993.
Abstract
Modeling of Dynamic Object Systems--A Logic-Based Approach,
: Vieweg Verlag, 1993.
Abstract
"Models and Languages for Abstract Objects",
Encyclopedia of Microcomputers, vol. 11: Marcel Dekker, Inc., pp. 173-187, 1993.
Abstract
"Monitoring Temporal Permissions using Partially Evaluated Transition Graphs",
Proc1 4th International Workshop: Modelling Database Dynamics, Volkse 1992: Workshops in Computing, Springer, Berlin, pp. 196-217, 1993.
Abstract
Monitoring Temporal Preconditions in a Behaviour Oriented Object Model,
, no. 93-07: TU Braunschweig, 1993.
Abstract
"Object Orientation as a Promising Perspective for Life Cycle Models",
Proc1 Intern. Workshop on Information Systems - Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No1 01/93, pp. 289-306, 1993.
Abstract
Object Oriented Life Cycle Model,
, no. 93-05: University of Braunschweig, 1993.
Abstract
"An Object-Oriented Design for the ACT ONE Environment",
Proc1 3rd Int1 Conf1 on Algebraic Methodology and Software Technolog1 (\mboxAMAST'93): Springer, London, Workshops in Computing, pp. 361-368, 1993.
Abstract
Objektorientierte Spezifikation von Informationssystemen,
: Teubner, 1993.
Abstract
"Objektspezifikation von Benutzerschnittstellen in \tt TROLL",
Objektorientierte Methoden für Informationssysteme: Springer, Berlin, Reihe Informatik aktuell, pp. 173-186, 1993.
Abstract
"Operationalisierung von Objektspezifikationen",
Grundlagen von Datenbanken: Univ1 Rostock, Bericht 3-93, pp. 64-68, 1993.
Abstract
"A Possible World Semantics for Updates by Versioning",
Proc1 4th International Workshop: Modelling Database Dynamics, Volkse 1992: Workshops in Computing, Springer, Berlin, pp. 36-47, 1993.
Abstract
"Relationships between Dynamic Objects",
Information Modelling and Knowledge Bases IV: Concepts, Methods and Systems (Proc1 2nd European-Japanese Seminar, Hotel Ellivuori (SF)): IOS Press, Amsterdam, pp. 425-438, 1993.
Abstract
"Rexx durchsucht die Pfade",
DOS toolbox, vol. 3, no. 2, pp. 27-28, 1993.
Abstract
"Sketching Concepts and Computational Model of TROLL \em light",
Proc1 3rd Int1 Conf1 Design and Implementation of Symbolic Computation System1 (DISCO'93): Springer, Berlin, LNCS 722, pp. 17-32, 1993.
Abstract
"The Software Development Process captured in an Object Oriented Frame",
Proc1 ERCIM Workshop on Development and Transformation of Programs, Nancy, Frankreich: Inria Lorraine & Crin-Cnrs, pp. 163-173, 1993.
Abstract
Some Examples for TROL1 \it light\/ Templates,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 51-62, 1993.
Abstract
Spezifikation der abstrakten Syntax von TROL1 \it light\/ mit TROL1 \it light,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 43-49, 1993.
Abstract
Spezifikation einer Fertigungszelle mit TROL1 \it light,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 27-41, 1993.
Abstract
Spezifikation eines vereinfachten Datenbanksystems -- ein Beitrag zur HDMS-A-Fallstudie,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 15-26, 1993.
Abstract
"Spezifikation von Informationssystemen als Objektsysteme",
EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 1, pp. 2-18, 1993.
Abstract
"Translating TROLL \em light Concepts to Maude",
Proc1 9th Workshop on Abstract Data Types - 4th Compass Workshop (ADT'92): Springer, Berlin, LNCS 785, pp. 173-187, 1993.
Abstract
"\sc omTroll - Object Modeling in \tt TROLL",
Proc1 Intern. Workshop on Information Systems - Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No1 01/93, pp. 267-283, 1993.
Abstract
"Abstract Description of Distributed Object Systems",
Proc1 ECOOP'91 Workshop on Object-Based Concurrent Computing. Geneva (CH), 1991: Springer, LNCS 612, Berlin, pp. 227-244, 1992.
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