Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich,
"Abstract object types: A temporal perspective",
Proc. Colloq. on Temporal Logic in Specification, B. Banieqbal, H. Barringer, and A. Pnueli, editors: Springer LNCS 398, 1989.
Abstract
Download: 1989AbstrObjTypes.pdf (393.35 KB)
Sernadas, A., J. Fiadeiro, C. Sernadas, and H. - D. Ehrich,
"The Basic Building Block of Information Systems",
Information System Concepts: An In-Depth Analysis: North-Holland, Amsterdam, 1989, pp. 225-246, 1989.
Abstract
Download: 1989BBBofIS.pdf (1.08 MB)
Selke, J., C. Lofi, and W. - T. Balke,
"Pushing the Boundaries of Crowd-Enabled Databases with Query-Driven Schema Expansion",
38th Int. Conf. on Very Large Data Bases (VLDB), Istanbul, Turkey, in PVLDB 5(6) , 08/12, 2012.
Abstract
Download: 267_camera-ready-v3.pdf (1.25 MB)
Schwiderski, S., T. Hartmann, and G. Saake,
"Monitoring Temporal Preconditions in a Behaviour Oriented Object Model",
Data \1 Knowledge Engineering, vol. 14, no. 2, pp. 143-186, December, 1994.
Abstract
Schönhoff, M., and M. Kowsari,
"Specifiying the Remote Controlling of Valves in an Explosion Test Environment",
Formal Methods Europe, FME'97, 4th Intern.\ Symposium, Technical University Graz, Austria, 15-19 September, 1997: Springer, Berlin, LNCS 1313, pp. 201-220, 1997.
Abstract
Saake, G., T. Hartmann, R. Jungclaus, and H. - D. Ehrich,
"Object-Oriented Design of Information Systems: \tt TROLL Language Features",
Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 219-245, 1994.
Abstract
Download: 1994CISM2.pdf (981.53 KB)
Saake, G., and R. Jungclaus,
"Views and Formal Implementation in a Three-Level Schema Architecture for Dynamic Objects",
Advanced Database System1 : Proc1 10th British National Conference on Databases (BNCO1 10), July 6-8, 1992, Aberdeen (Scotland): Springer, LNCS 618, Berlin, pp. 78-95, 1992.
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
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