.gif)
] Filters: Author is Gogolla, M. [Clear All Filters]
"A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications",
Berichte der Abteilung Informatik, vol. 144: Universität Dortmund, 1982.
Abstract
Algebraic Specifications with Partially Ordered Sorts and Declarations,
, no. 169: Abt1 Informatik, Universität Dortmund, 1983.
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 Subsorts Using Declarations",
EATCS Bulletin, vol. 21, pp. 31-38, 1983.
Abstract
"Algebraic and Operational Semantics of Specifications allowing Exceptions and Errors",
Theoretical Computer Science, vol. 34, 1984.
Abstract
"Specification, Semantics, and Enforcement of Dynamic Database Constraints",
Proc1 Int1 Conf1 on Very Large Databases VLDB '84, pp. 301-308, 1984.
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
"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
Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen,
: Technische Universität Braunschweig, 1986.
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
"On Parametric Algebraic Specifications with Clean Error Handling",
Proc1 TAPSOFT'87, Pisa (I), Vol1 I: LNCS 249, Springer, Berlin, pp. 81-95, 1987.
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
Towards a Semantic View of an Extended Entity-Relationship Model,
, no. 88-02: Technische Universität Braunschweig, 1988.
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
Algebraische Spezifikation abstrakter Datentypen,
: Teubner, Stuttgart, 1989.
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
"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
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
"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
"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
"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