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)
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)
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
Schneider, J., A. de Waard, W. - T. Balke, X. Wang, N. Song, B. Hua, and Y. Fu,
"Digital Infrastructures for Scholarly Content Objects",
ACM/IEEE Joint Conference on Digital Libraries (JCDL), Urbana-Champaign, IL, USA, IEEE, 09/2021.
Abstract
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., 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
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., R. Jungclaus, and H. - D. Ehrich,
"Object-Oriented Specification and Stepwise Refinement",
Proc Open Distributed Processing, Berlin (D), 8.-11. Okt 1991 (IFIP Transactions C: Communication Systems, Vol 1): North-Holland, pp. 99-121, 1992.
Abstract
Download: 1992SaaJungEh.pdf (313.37 KB)
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