|
1999 Conference Publication Towards real-time Object-ZSmith, G. P. and Hayes, I. J. (1999). Towards real-time Object-Z. Integrated Formal Methods IFM'99, York, UK, 28-29 June 1999. London: Springer-Verlag. doi: 10.1007/978-1-4471-0851-1_4 |
|
1999 Conference Publication Specification and refinement of a real-time control systemSmith, G. P. (1999). Specification and refinement of a real-time control system. 22nd Australasian Computer Science Conference, Auckland, NZ, 18-21 Jan, 1999. Auckland, NZ: Springer Verlag. |
|
1997 Conference Publication Refinement and verification of concurrent systems specified in Object-Z and CSPSmith, Graeme and Derrick, John (1997). Refinement and verification of concurrent systems specified in Object-Z and CSP. Proceedings of the 1997 1st International Conference on Formal Engineering Methods, ICFEM, , , November 12, 1997-November 14, 1997. IEEE Comp Soc. |
|
1997 Conference Publication A semantic integration of object-Z and CSP for the specification of concurrent systemsSmith, Graeme (1997). A semantic integration of object-Z and CSP for the specification of concurrent systems. 4th International Symposium of Formal Methods Europe, FME 1997, Graz, , September 15, 1997-September 19, 1997. Springer Verlag. doi: 10.1007/3-540-63533-5_4 |
|
1996 Journal Article A blocking model for reactive objectsDuke, Roger, Bailes, Cecily and Smith, Graeme (1996). A blocking model for reactive objects. Formal Aspects of Computing, 8 (3), 347-368. doi: 10.1007/BF01214919 |
|
1995 Journal Article Object-Z: A specification language advocated for the description of standardsDuke R., Rose G. and Smith G. (1995). Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17 (5-6), 511-533. doi: 10.1016/0920-5489(95)00024-O |
|
1995 Conference Publication Extending W for object-ZSmith, Graeme (1995). Extending W for object-Z. 9th International Conference of Z Users Meeting, ZUM 1995, Limerick, , September 7, 1995-September 9, 1995. Springer Verlag. |
|
1995 Journal Article A fully abstract semantics of classes for Object-ZSmith, Graeme (1995). A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7 (3), 289-313. doi: 10.1007/BF01211075 |
|
1994 Conference Publication Formal definitions of behavioural compatibility for active and passive objectsSmith, G. (1994). Formal definitions of behavioural compatibility for active and passive objects. 1st Asia-Pacific Software Engineering Conference, APSEC 1994, Tokyo, Japan, 7 - 9 December 1994. Piscataway, NJ United States: IEEE Computer Society. doi: 10.1109/APSEC.1994.465246 |
|
1991 Book The object-Z specification language: version 1Duke, Roger, King, Paul, Rose, Gordon and Smith, Graeme (1991). The object-Z specification language: version 1. SVRC Technical Report, 91-1. Software Verification Research Centre, Department of Computer Science, The University of Queensland. |
