| 1998 |
|---|
| 15 | EE | Gordon A. Rose:
From Monolithic to Modular Formal Specification.
ICFEM 1998: 122- |
| 1997 |
|---|
| 14 | EE | Jin Song Dong,
Roger Duke,
Gordon A. Rose:
An object-oriented denotational semantics of a small programming language.
Object Oriented Systems 4: 29-52 (1997) |
| 1995 |
|---|
| 13 | EE | Jin Song Dong,
Gordon A. Rose,
Roger Duke:
The role of secondary attributes in formal object modelling.
ICECCS 1995: 31-38 |
| 1992 |
|---|
| 12 | | Ken R. Parker,
Gordon A. Rose:
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
North-Holland 1992 |
| 11 | | Gordon A. Rose:
Object-Z.
Object Orientation in Z 1992: 59-77 |
| 1991 |
|---|
| 10 | | Roger Duke,
Paul King,
Gordon A. Rose,
Graeme Smith:
Associated Paper: The Object-Z Specification Language.
TOOLS (5) 1991: 465-484 |
| 1990 |
|---|
| 9 | | Roger Duke,
Gordon A. Rose,
Graeme Smith:
Transferring Formal Techniques to Industry.
FORTE 1990: 279-286 |
| 8 | | Roger Duke,
Gordon A. Rose,
Anthony Lee:
Object-oriented protocol specification.
PSTV 1990: 325-338 |
| 1989 |
|---|
| 7 | | 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: 281-296 |
| 6 | | Ian J. Hayes,
M. Mowbray,
Gordon A. Rose:
Signalling System No.7, The Network Layer.
PSTV 1989: 3-14 |
| 1987 |
|---|
| 5 | | Roger Duke,
D. Johnston,
Gordon A. Rose:
Specifying the Static Semantics of Block Structural Languages.
Australian Computer Journal 19(2): 99-104 (1987) |
| 1986 |
|---|
| 4 | | Jim Welsh,
Gordon A. Rose,
M. Lloyd:
An Adaptive Program Editor.
Australian Computer Journal 18(2): 67-74 (1986) |
| 1983 |
|---|
| 3 | | Gordon A. Rose,
Tim Roper:
Generation of Program-Preparation Systems for Formatted Programming Languages.
IFIP Congress 1983: 931-936 |
| 1981 |
|---|
| 2 | | Gordon A. Rose,
Jim Welsh:
Formatted Programming Language.
Softw., Pract. Exper. 11(7): 649-670 (1981) |
| 1968 |
|---|
| 1 | | Gordon A. Rose:
Computer graphics communication systems.
IFIP Congress (2) 1968: 692-703 |
