.gif)
]
"Zur Entwicklung zuverlässiger Informationssysteme in KorSo",
Informatik -- Wirtschaft -- Gesellschaft, Proc. 23. GI-Jahrestagung (GI'93): Springer, Informatik aktuell, pp. 464-469, 1993.
Abstract
Download: 1993GI.pdf (401.19 KB)
Abstract Specification of Object Interaction,
, no. 93-08: Technische Universität Braunschweig, 1993.
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
"Application Modelling in Heterogeneous Environments using an Object Specification Language",
Int1 Journal of Intelligent and Cooperative Information Systems, vol. 2, no. 4, pp. 425-449, 1993.
Abstract
"An Approach towards the Conceptual Modelling of the Tool Integration Aspect",
Proc. 6th Int1 Conf1 Software Engineering & Its Application1 (SEA'93): EC2, Nanterre, France, pp. 543-553, 1993.
Abstract
Beiträge zu \sc KorSo- und TROL1 \it light-Fallstudien,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, 1993.
Abstract
"A Case Study for an Open CASE System: The TROLL \em light Development Environment",
Proc1 4th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'93): Springer, Berlin, LNCS 720, pp. 673-676, 1993.
Abstract
"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