Gordon A. Rose

Publication Activity (10 Years)

Years Active: 1963-1998
Publications (10 Years): 0

Publications

Gordon A. Rose
From Monolithic to Modular Formal Specification. ICFEM (1998)
Jin Song Dong, Roger Duke, Gordon A. Rose
An object-oriented denotational semantics of a small programming language. Object Oriented Syst. 4 (1997)
Jin Song Dong, Gordon A. Rose, Roger Duke
The role of secondary attributes in formal object modelling. ICECCS (1995)
Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
Associated Paper: The Object-Z Specification Language. TOOLS (5) (1991)
Roger Duke, Gordon A. Rose, Graeme Smith
Transferring Formal Techniques to Industry. FORTE (1990)
Roger Duke, Gordon A. Rose, Anthony Lee
Object-oriented protocol specification. PSTV (1990)
David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
Object-Z: An Object-Oriented Extension to Z. FORTE (1989)
Ian J. Hayes, M. Mowbray, Gordon A. Rose
Signalling System No.7, The Network Layer. PSTV (1989)
Roger Duke, D. Johnston, Gordon A. Rose
Specifying the Static Semantics of Block Structural Languages. Aust. Comput. J. 19 (2) (1987)
Jim Welsh, Gordon A. Rose, M. Lloyd
An Adaptive Program Editor. Aust. Comput. J. 18 (2) (1986)
Gordon A. Rose, Tim Roper
Generation of Program-Preparation Systems for Formatted Programming Languages. IFIP Congress (1983)
Gordon A. Rose, Jim Welsh
Formatted Programming Language. Softw. Pract. Exp. 11 (7) (1981)
Gordon A. Rose
Computer graphics communication systems. IFIP Congress (2) (1968)
Gordon A. Rose
"Intergraphic, " A Microprogrammed Graphical-Interface Computer. IEEE Trans. Electron. Comput. 16 (6) (1967)
Gordon A. Rose
"Light-Pen"' Facilities for Direct View Storage Tubes-An Economical Solution for Multiple Man-Machine Communication. IEEE Trans. Electron. Comput. 14 (4) (1965)
M. W. Allen, Trevor Pearcey, John P. Penny, Gordon A. Rose, J. G. Sanderson
CIRRUS, An Economical Multiprogram Computer with Microprogram Control. IEEE Trans. Electron. Comput. 12 (6) (1963)