|
2002 Conference Publication Encoding Object-Z in Isabelle/HOLSmith, G. P., Kammuller, F. and Santen, T. (2002). Encoding Object-Z in Isabelle/HOL. ZB 2002: Formal Specification and Development in Z and B, Grenoble, France, 23-25 January, 2002. Heidelberg: Springer-Verlag. doi: 10.1007/3-540-45648-1_5 |
|
2002 Conference Publication An integration of real-time object-Z and CSP for specifying concurrent real-time systemsSmith, G. P. (2002). An integration of real-time object-Z and CSP for specifying concurrent real-time systems. IFM 2002, Turku, Finland, 15-18 May, 2002. Berlin: Springer-Verlag. doi: 10.1007/3-540-47884-1_15 |
|
2002 Conference Publication Abstract specification in Object-Z and CSPSmith, G. P. and Derrick, J. (2002). Abstract specification in Object-Z and CSP. 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, 21-25 October, 2002. Heidelberg: Springer-Verlag. doi: 10.1007/3-540-36103-0_14 |
|
2001 Conference Publication Model checking object-Z classes: Some experiments with FDRKassel, Geoff and Smith, Graeme (2001). Model checking object-Z classes: Some experiments with FDR. doi: 10.1109/apsec.2001.991513 |
|
2001 Conference Publication Introducing parallel composition to the timed refinement calculusSmith, G. P. (2001). Introducing parallel composition to the timed refinement calculus. PART 2000, Sydney, 29-30 November 2000. Hong Kong: Springer Verlag. |
|
2000 Conference Publication Structural refinement in Object-Z / CSPDerrick, J. and Smith, G. P. (2000). Structural refinement in Object-Z / CSP. Integrated Formal Methods: Second International Conference, IFM 2000, Schloss Dagstuhl, Germany, 1-3 November, 2000. Berlin: Springer Verlag. doi: 10.1007/3-540-40911-4_12 |
|
2000 Conference Publication Stepwise development from ideal specificationsSmith, Graeme (2000). Stepwise development from ideal specifications. ACSC 2000, Canberra, 31 January - 3 February 2000. Los Alamitos, California, USA: IEEE Computer Society. doi: 10.1109/ACSC.2000.824408 |
|
2000 Conference Publication Safety assurance of Commercial-Off-The-Shelf softwareLindsay, P. A. and Smith, G. P. (2000). Safety assurance of Commercial-Off-The-Shelf software. 5th Australian Workshop on Safety Critical Systems & Software, Melbourne, Australia, 24 November, 2000. Melbourne, Australia: Australian Computer Society. |
|
2000 Conference Publication Structuring real-time Object-Z specificationsSmith, G and Hayes, I (2000). Structuring real-time Object-Z specifications. Integrated Formal Methods: Second International Conference, IFM 2000,, Dagstuhl Castle, Germany, November 2000. Berlin, Germany: Springer. doi: 10.1007/3-540-40911-4_7 |
|
2000 Conference Publication Recursive schema definitions in Object-ZSmith, G. P. (2000). Recursive schema definitions in Object-Z. International Conference of B and Z Users (ZB 2000), York, UK, 29 August - 2 September 2000. Berlin: Springer Verlag. |
|
1999 Conference Publication From ideal to realisable real-time specificationsSmith, G. P. (1999). From ideal to realisable real-time specifications. New Zealand Formal Program Development Colloquium, Auckland, NZ, 22 Jan, 1999. NZ: Inst Information & Mathematical Sciences, Massey Uni, NZ. |
|
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 |
|
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. |
|
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 |
