Saake, G., R. Jungclaus, and C. Sernadas,
"Abstract Data Type Semantics for Many-Sorted Object Query Algebras",
Proceedings 3rd. Symp. on Mathematical Fundamentals of Database and Knowledge Base Systems MFDBS-91, Rostock (D): LNCS 495, Springer, Berlin, pp. 291-307, 1991.
Abstract
Hartmann, T., R. Jungclaus, and G. Saake,
"Animation Support for a Conceptual Modelling Language",
Proc1 4th Int1 Conf1 on Database and Expert Systems Applications (DEXA), Prague: LNCS 720, Springer, Berlin, pp. 56-67, 1993.
Abstract
Jungclaus, R., R. J. Wieringa, P. Hartel, G. Saake, and T. Hartmann,
"Combining \sc Troll with the Object Modeling Technique",
Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch F1 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software: Springer, Informatik aktuell, pp. 35-42, 1994.
Abstract
Jungclaus, R., G. Saake, and C. Sernadas,
"Formal Specification of Object Systems",
Proc. TAPSOFT'91, Brighton: Springer, Berlin, LNCS 494, pp. 60-82, 1991.
Abstract
Kusch, J., P. Hartel, T. Hartmann, and G. Saake,
"Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment",
Proc1 6th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'95): Springer Verlag, Berlin, LNC1 978, pp. 38-47, 1995.
Abstract
Saake, G., P. Hartel, R. Jungclaus, R. Wieringa, and R. Feenstra,
"Inheritance Conditions for Object Life Cycle Diagrams",
Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 79-89, 1994.
Abstract
Saake, G., and T. Hartmann,
"Modelling Information Systems as Object Societies",
Management and Processing of Complex Data Structures, Proc1 3rd Workshop on Information Systems and Artificial Intelligence, Hamburg: Springer, Berlin, LNCS 777, pp. 157-180, 1994.
Abstract
Fiadeiro, J., C. Sernadas, T. Maibaum, and G. Saake,
"Proof-Theoretic Semantics of Object-Oriented Specification Constructs",
Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 243-284, 1991.
Abstract