Skip to content

Gordon A. Rose

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

3

Active years

1989–1998

Best venue rank

C

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
1998ICFEMFrom Monolithic to Modular Formal Specification.Gordon A. Rose
1995ICECCSThe role of secondary attributes in formal object modelling.Jin Song Dong, Gordon A. Rose, Roger Duke
1990FORTETransferring Formal Techniques to Industry.Roger Duke, Gordon A. Rose, Graeme Smith
1989FORTEObject-Z: An Object-Oriented Extension to Z.David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith