Gordon A. Rose

18 papers B 1C 4Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
1998 C conf
From Monolithic to Modular Formal Specification.
ICFEM
Gordon A. Rose
1997 J jnl
An object-oriented denotational semantics of a small programming language.
Object Oriented Syst.
Jin Song Dong, Roger Duke, Gordon A. Rose
1995 B conf
The role of secondary attributes in formal object modelling.
ICECCS
Jin Song Dong, Gordon A. Rose, Roger Duke
1992 C ed.
Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
FORTE
Ken R. Parker, Gordon A. Rose
1992 — ch.
Object-Z.
Object Orientation in Z
Gordon A. Rose
1991 — conf
Associated Paper: The Object-Z Specification Language.
TOOLS (5)
Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
1990 — conf
Object-oriented protocol specification.
PSTV
Roger Duke, Gordon A. Rose, Anthony Lee
1990 C conf
Transferring Formal Techniques to Industry.
FORTE
Roger Duke, Gordon A. Rose, Graeme Smith
1989 C conf
Object-Z: An Object-Oriented Extension to Z.
FORTE
David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith
1989 — conf
Signalling System No.7, The Network Layer.
PSTV
Ian J. Hayes, M. Mowbray, Gordon A. Rose
1987 J jnl
Specifying the Static Semantics of Block Structural Languages.
Aust. Comput. J.
Roger Duke, D. Johnston, Gordon A. Rose
1986 J jnl
An Adaptive Program Editor.
Aust. Comput. J.
Jim Welsh, Gordon A. Rose, M. Lloyd
1983 — conf
Generation of Program-Preparation Systems for Formatted Programming Languages.
IFIP Congress
Gordon A. Rose, Tim Roper
1981 J jnl
Formatted Programming Language.
Softw. Pract. Exp.
Gordon A. Rose, Jim Welsh
1968 — conf
Computer graphics communication systems.
IFIP Congress (2)
Gordon A. Rose
1967 J jnl
"Intergraphic, " A Microprogrammed Graphical-Interface Computer.
IEEE Trans. Electron. Comput.
Gordon A. Rose
1965 J jnl
"Light-Pen"' Facilities for Direct View Storage Tubes-An Economical Solution for Multiple Man-Machine Communication.
IEEE Trans. Electron. Comput.
Gordon A. Rose
1963 J jnl
CIRRUS, An Economical Multiprogram Computer with Microprogram Control.
IEEE Trans. Electron. Comput.
M. W. Allen, Trevor Pearcey, John P. Penny, Gordon A. Rose, J. G. Sanderson