Author of the publication

Object-Oriented Design of Information Systems: Theoretical Foundations.

, , , and . CISM - Advances in Database Systems, volume 347 of CISM International Centre for Mechanical Sciences - Courses and Lectures, page 201-218. Springer, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Proving Implementations Correct - Two Alternative Approaches., and . IFIP Congress, page 83-88. (1980)Specification, Semantics, and Enforcement of Dynamic Database Constraints., , and . VLDB, page 301-308. Morgan Kaufmann, (1984)Outline of an Algebraic Theory of Structured Objects.. ICALP, page 508-530. Edinburgh University Press, (1976)Objekt-orientierter Entwurf von Informationssystmenen: Das IS-CORE Projekt.. Grundlagen von Datenbanken, (1989)Algebraische Spezifikation abstrakter Datentypen - eine Einführung in die Theorie., , and . Leitfäden und Monographien der Informatik Teubner, (1989)Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics.. CTCS, volume 240 of Lecture Notes in Computer Science, page 412-433. Springer, (1985)Objects, Object Types, and Object Identification., , and . Categorial Methods in Computer Science, volume 393 of Lecture Notes in Computer Science, page 142-156. Springer, (1988)Datenstrukturen und Q-Systeme - Eine Mathematische Studie.. GI Jahrestagung, volume 1 of Lecture Notes in Computer Science, page 363-371. Springer, (1973)An Axiomatic Approach to Information Structures.. MFCS, volume 45 of Lecture Notes in Computer Science, page 277-283. Springer, (1976)Object Interaction., , , and . MFCS, volume 629 of Lecture Notes in Computer Science, page 200-208. Springer, (1992)