Gordon A. Rose

Gordon A. Rose: From Monolithic to Modular Formal Specification. ICFEM 1998: 122-

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)

Jin Song Dong, Gordon A. Rose, Roger Duke: The role of secondary attributes in formal object modelling. ICECCS 1995: 31-38

Gordon A. Rose: Object-Z. Object Orientation in Z 1992: 59-77

Ken R. Parker, Gordon A. Rose (Eds.): 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. IFIP Transactions C-2, North-Holland 1992, isbn 0-444-89402-0

Roger Duke, Paul King, Gordon A. Rose, Graeme Smith: Associated Paper: The Object-Z Specification Language. TOOLS (5) 1991: 465-484

Roger Duke, Gordon A. Rose, Graeme Smith: Transferring Formal Techniques to Industry. FORTE 1990: 279-286

Roger Duke, Gordon A. Rose, Anthony Lee: Object-oriented protocol specification. PSTV 1990: 325-338

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

Ian J. Hayes, M. Mowbray, Gordon A. Rose: Signalling System No.7, The Network Layer. PSTV 1989: 3-14

Roger Duke, D. Johnston, Gordon A. Rose: Specifying the Static Semantics of Block Structural Languages. Australian Computer Journal 19(2): 99-104 (1987)

Jim Welsh, Gordon A. Rose, M. Lloyd: An Adaptive Program Editor. Australian Computer Journal 18(2): 67-74 (1986)

Gordon A. Rose, Tim Roper: Generation of Program-Preparation Systems for Formatted Programming Languages. IFIP Congress 1983: 931-936

Gordon A. Rose, Jim Welsh: Formatted Programming Language. Softw., Pract. Exper. 11(7): 649-670 (1981)

Gordon A. Rose: Computer graphics communication systems. IFIP Congress (2) 1968: 692-703