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)