.gif)
] Filters: Author is Gogolla, M. [Clear All Filters]
Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen,
: Technische Universität Braunschweig, 1986.
Abstract
"Abstracts des Workshops "Grundlagen von Datenbanken"",
Abstracts des Workshops "Grundlagen von Datenbanken": Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989.
Abstract
"Abstracts of the 4th Workshop on Specification of Abstract Data Types",
Abstracts of the 4th Workshop on Specification of Abstract Data Types: Informatik-Bericht Nr. 86-09, Technische Universität Braunschweig, 1986.
Abstract
"Algebraic and operational semantics of exceptions and errors",
Proc. 6. GI-Fachtagung für Theoretische Informatik: Springer LNCS 145, 1983.
Abstract
Algebraic Specifications with Partially Ordered Sorts and Declarations,
, no. 169: Abt1 Informatik, Universität Dortmund, 1983.
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
Grundlagen von Entity-Relationship-Modellen,
, no. 33: Technische Universität Braunschweig, Informatik-Skripten, 1994.
Abstract
The KORSO Approach to the Development of Reliable Information Systems,
, no. 94-06: Technische Universität Braunschweig, 1994.
Abstract
QUEER - A Prolog Based Prototype for an Extended ER Approach,
, no. 90-03: Technische Universität Braunschweig, 1990.
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,
, no. 88-02: Technische Universität Braunschweig, 1988.
Abstract
TROLL \em light\/: A Core Language for Specifying Objects,
, no. 92-02: TU Braunschweig, 1992.
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
"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
"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
"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
"Drafting Extended Entity-Relationship Schemas with QUEER",
Proc. 10th Int. Conf. on the ER-approach, pp. 561-585, 1991.
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
"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
"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
"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
"Objects and their Specification",
Proc1 8th Workshop on Abstract Data Type1 (ADT'91): Springer, Berlin, LNC1 655, pp. 40-65, 1992.
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
"On Parametric Algebraic Specifications with Clean Error Handling",
Proc1 TAPSOFT'87, Pisa (I), Vol1 I: LNCS 249, Springer, Berlin, pp. 81-95, 1987.
Abstract
"Safe Derivations in Object Hierarchies",
OOIS'94 -- 1994 Int. Conf. on Object Oriented Information Systems: Springer, London, pp. 306-319, 1995.
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
"Specification, Semantics, and Enforcement of Dynamic Database Constraints",
Proc1 Int1 Conf1 on Very Large Databases VLDB '84, pp. 301-308, 1984.
Abstract
"Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic",
Proc1 IFIP Working Conf1 on Theoretical and Formal Aspects of Information Systems: North-Holland, Amsterdam, pp. 145-157, 1985.
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
"Towards an Algebraic Semantics for Database Specification",
Proc1 2nd IFIP WG 2.6 Working Conf1 on Database Semantics ``Data and Knowledge'' (DS-2): North-Holland, Amsterdam, pp. 119-135, 1988.
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
"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