.gif)
] Filters: Author is Gogolla, M. [Clear All Filters]
"A Development Environment for an Object Specification Language",
IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 3, pp. 505-508, June, 1995.
Abstract
"Entwicklung zuverlässiger Informationssysteme",
EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 2, pp. 25-33, 1995.
Abstract
"Safe Derivations in Object Hierarchies",
OOIS'94 -- 1994 Int. Conf. on Object Oriented Information Systems: Springer, London, pp. 306-319, 1995.
Abstract
"TROLL \em light -- The Language and its Development Environment",
KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 205-220, 1995.
Abstract
"Zur Gestaltung der Benutzungsschnittstelle bei der Animation von Objektspezifikationen",
Proc1 GI-Workshop ``Benutzungsschnittstellen für Datenbanken'', Kassel, 17.-18.3.94: GI-Datenbankrundbrief 13, pp. 43-45, Mai, 1994.
Abstract
"An Animator for the Object Specification Language TROLL \em light",
Proc. Colloquium on Object Orientation in Databases and Software Engineerin1 (COODBSE'94): Universit\'e du Queb\'ec \`a Montr\'eal, pp. 4-17, 1994.
Abstract
"Compositional Description of Object Communities with TROLL \em light",
Proc1 Basque Int1 Workshop on Information Technology (BIWIT'94): C\'epadu\`es-\'Editions, Toulouse, pp. 183-194, 1994.
Abstract
An Extended Entity Relationship Model. Fundamentals and Pragmatics,
: Springer, Berlin, LNCS 767, 1994.
Abstract
"From Object Specification to Enhanced Logic Programming",
Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94): Bogazici University Printhouse, Istanbul, pp. 423-430, 1994.
Abstract
Grundlagen von Entity-Relationship-Modellen,
, no. 33: Technische Universität Braunschweig, Informatik-Skripten, 1994.
Abstract
"Integrating the ER Approach in an OO Environment",
Proc1 12th Int1 Conf1 on the Entity-Relationship Approac1 (ER'93): Springer, Berlin, LNC1 823, pp. 376-389, 1994.
Abstract
The KORSO Approach to the Development of Reliable Information Systems,
, no. 94-06: Technische Universität Braunschweig, 1994.
Abstract
"On Formal Semantics of Some Semantic Data Models",
Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94): Bogazici University Printhouse, Istanbul, pp. 33-40, 1994.
Abstract
"A SQL-like Query Calculus for Object-Oriented Database Systems",
Proc1 Int1 Symp. on Object-Oriented Methodologies and System1 (ISOOMS'94): Springer, Berlin, LNC1 858, pp. 20-39, 1994.
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
"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
Some Examples for TROL1 \it light\/ Templates,
: Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 51-62, 1993.
Abstract
"Towards Reliable Information Systems: The KORSO Approach",
Proc1 5th Int1 Conf1 on Advanced Information Systems Engineerin1 (CAiSE'93): Springer, Berlin, LNCS 685, pp. 463-482, 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
"Zur Entwicklung zuverlässiger Informationssysteme in KorSo",
Informatik -- Wirtschaft -- Gesellschaft, Proc.\ 231 GI-Jahrestagun1 (GI'93): Springer, Informatik aktuell, pp. 464-469, 1993.
Abstract
"An Annotated Bibliography on Object-Orientation and Deduction",
ACM SIGMOD RECORD, vol. 21, no. 1, pp. 123-132, 1992.
Abstract
"Conceptual modelling of database applications using an extended ER model",
Data & Knowledge Engineering, North-Holland, vol. 9, no. 2, pp. 157-204, 1992.
Abstract
"Objects and their Specification",
Proc1 8th Workshop on Abstract Data Type1 (ADT'91): Springer, Berlin, LNC1 655, pp. 40-65, 1992.
Abstract
"Transforming Conceptual Data Models into an Object Model",
Proc1 11th Int1 Conf1 on the Entity-Relationship Approac1 (ER'92): Springer, Berlin, LNC1 645, pp. 280-298, 1992.
Abstract
TROLL \em light\/: A Core Language for Specifying Objects,
, no. 92-02: TU Braunschweig, 1992.
Abstract
"Drafting Extended Entity-Relationship Schemas with QUEER",
Proc. 10th Int. Conf. on the ER-approach, pp. 561-585, 1991.
Abstract
Towards a Conceptual Model for the Environment of the Algebraic Specification Language ACT ONE,
, no. 91/11: Technische Universität Berlin, 1991.
Abstract
"Towards a Semantic View of an Extended Entity-Relationship Model",
ACM Transactions on Database Systems, vol. 16, no. 3, pp. 369-416, 1991.
Abstract
Conceptual Modelling of Database Applications Using an Extended ER Model,
, no. 90-05: Technische Universität Braunschweig, 1990.
Abstract
Datalog - Eine deduktive Datenbanksprache,
, no. 25: Technische Universität Braunschweig, 1990.
Abstract
Formal Semantics of SQL Queries,
, no. 90-01: Technische Universität Braunschweig, 1990.
Abstract
"A Note on the Translation of SQL to Tuple Calculus",
ACM SIGMOD RECORD, vol. 19, no. 1, pp. 18-22, 1990.
Abstract
QUEER - A Prolog Based Prototype for an Extended ER Approach,
, no. 90-03: Technische Universität Braunschweig, 1990.
Abstract
"Abstracts des Workshops "Grundlagen von Datenbanken"",
Abstracts des Workshops "Grundlagen von Datenbanken": Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989.
Abstract