.gif)
] Filters: Author is Gogolla, M. [Clear All Filters]
"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 and Operational Semantics of Specifications allowing Exceptions and Errors",
Theoretical Computer Science, vol. 34, 1984.
Abstract
Algebraic Specifications with Partially Ordered Sorts and Declarations,
, no. 169: Abt1 Informatik, Universität Dortmund, 1983.
Abstract
"Algebraic Specifications with Subsorts Using Declarations",
EATCS Bulletin, vol. 21, pp. 31-38, 1983.
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
"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
"An Annotated Bibliography on Object-Orientation and Deduction",
ACM SIGMOD RECORD, vol. 21, no. 1, pp. 123-132, 1992.
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
Conceptual Modelling of Database Applications Using an Extended ER Model,
, no. 90-05: Technische Universität Braunschweig, 1990.
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
Datalog - Eine deduktive Datenbanksprache,
, no. 25: Technische Universität Braunschweig, 1990.
Abstract
"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
"Drafting Extended Entity-Relationship Schemas with QUEER",
Proc. 10th Int. Conf. on the ER-approach, pp. 561-585, 1991.
Abstract
"Entwicklung zuverlässiger Informationssysteme",
EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 2, pp. 25-33, 1995.
Abstract
An Extended Entity Relationship Model. Fundamentals and Pragmatics,
: Springer, Berlin, LNCS 767, 1994.
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
Formal Semantics of SQL Queries,
, no. 90-01: Technische Universität Braunschweig, 1990.
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
"A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications",
Berichte der Abteilung Informatik, vol. 144: Universität Dortmund, 1982.
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
"A Note on the Translation of SQL to Tuple Calculus",
ACM SIGMOD RECORD, vol. 19, no. 1, pp. 18-22, 1990.
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
QUEER - A Prolog Based Prototype for an Extended ER Approach,
, no. 90-03: Technische Universität Braunschweig, 1990.
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