Gordon A. Rose

According to our database, Gordon A. Rose authored at least 17 papers between 1963 and 1998.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1998

From Monolithic to Modular Formal Specification.

Gordon A. Rose

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997

An object-oriented denotational semantics of a small programming language.

Jin Song Dong, Roger Duke, Gordon A. Rose

Object Oriented Syst., 1997

1995

The role of secondary attributes in formal object modelling.

Jin Song Dong, Gordon A. Rose, Roger Duke

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1992

Object-Z.

Gordon A. Rose

Proceedings of the Object Orientation in Z, 1992

1991

Associated Paper: The Object-Z Specification Language.

Roger Duke, Paul King, Gordon A. Rose, Graeme Smith

Proceedings of the TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, 1991

1990

Object-oriented protocol specification.

Roger Duke, Gordon A. Rose, Anthony Lee

Proceedings of the Protocol Specification, 1990

Transferring Formal Techniques to Industry.

Roger Duke, Gordon A. Rose, Graeme Smith

Proceedings of the Formal Description Techniques, 1990

1989

Signalling System No.7, The Network Layer.

Ian J. Hayes, M. Mowbray, Gordon A. Rose

Proceedings of the Protocol Specification, 1989

Object-Z: An Object-Oriented Extension to Z.

David A. Carrington, David J. Duke, Roger Duke, Paul King, Gordon A. Rose, Graeme Smith

Proceedings of the Formal Description Techniques, 1989

1987

Specifying the Static Semantics of Block Structural Languages.

Roger Duke, D. Johnston, Gordon A. Rose

Aust. Comput. J., 1987

1986

An Adaptive Program Editor.

Jim Welsh, Gordon A. Rose, M. Lloyd

Aust. Comput. J., 1986

1983

Generation of Program-Preparation Systems for Formatted Programming Languages.

Gordon A. Rose, Tim Roper

Proceedings of the Information Processing 83, 1983

1981

Formatted Programming Language.

Gordon A. Rose, Jim Welsh

Softw. Pract. Exp., 1981

1968

Computer graphics communication systems.

Gordon A. Rose

Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 2, 1968

1967

"Intergraphic, " A Microprogrammed Graphical-Interface Computer.

Gordon A. Rose

IEEE Trans. Electron. Comput., 1967

1965

"Light-Pen"' Facilities for Direct View Storage Tubes-An Economical Solution for Multiple Man-Machine Communication.

Gordon A. Rose

IEEE Trans. Electron. Comput., 1965

1963

CIRRUS, An Economical Multiprogram Computer with Microprogram Control.

M. W. Allen, Trevor Pearcey, John P. Penny, Gordon A. Rose, J. G. Sanderson

IEEE Trans. Electron. Comput., 1963