Authors: SERNADAS A SERNADAS C CALEIRO C

Citation: A. Sernadas et al., DENOTATIONAL SEMANTICS OF OBJECT SPECIFICATION, Acta informatica, 35(9), 1998, pp. 729-773

Authors: JUNGCLAUS R SAAKE G HARTMANN T SERNADAS C

Citation: R. Jungclaus et al., TROLL - A LANGUAGE FOR OBJECT-ORIENTED SPECIFICATION OF INFORMATION-SYSTEMS, ACM transactions on information systems, 14(2), 1996, pp. 175-211

Authors: SERNADAS A SERNADAS C RAMOS J

Citation: A. Sernadas et al., A TEMPORAL LOGIC APPROACH TO OBJECT CERTIFICATION, Data & knowledge engineering, 19(3), 1996, pp. 267-294

Authors: COSTA JF SERNADAS A SERNADAS C

Citation: Jf. Costa et al., OBJECT INHERITANCE BEYOND SUBTYPING, Acta informatica, 31(1), 1994, pp. 5-26