Gordon A. Rose

According to our database1, Gordon A. Rose
  • authored at least 17 papers between 1963 and 1998.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1998
From Monolithic to Modular Formal Specification.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997
An object-oriented denotational semantics of a small programming language.
Object Oriented Systems, 1997

1995
The role of secondary attributes in formal object modelling.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1992
Object-Z.
Proceedings of the Object Orientation in Z, 1992

1991
Associated Paper: The Object-Z Specification Language.
Proceedings of the TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, 1991

1990
Object-oriented protocol specification.
Proceedings of the Protocol Specification, 1990

Transferring Formal Techniques to Industry.
Proceedings of the Formal Description Techniques, 1990

1989
Signalling System No.7, The Network Layer.
Proceedings of the Protocol Specification, 1989

Object-Z: An Object-Oriented Extension to Z.
Proceedings of the Formal Description Techniques, 1989

1987
Specifying the Static Semantics of Block Structural Languages.
Australian Computer Journal, 1987

1986
An Adaptive Program Editor.
Australian Computer Journal, 1986

1983
Generation of Program-Preparation Systems for Formatted Programming Languages.
IFIP Congress, 1983

1981
Formatted Programming Language.
Softw., Pract. Exper., 1981

1968
Computer graphics communication systems.
IFIP Congress (2), 1968

1967
"Intergraphic, " A Microprogrammed Graphical-Interface Computer.
IEEE Trans. Electronic Computers, 1967

1965
"Light-Pen"' Facilities for Direct View Storage Tubes-An Economical Solution for Multiple Man-Machine Communication.
IEEE Trans. Electronic Computers, 1965

1963
CIRRUS, An Economical Multiprogram Computer with Microprogram Control.
IEEE Trans. Electronic Computers, 1963


  Loading...