|
2003 Conference Publication Proving Temporal Properties of Z Specifications Using AbstractionSmith, Graeme and Winter, Kirsten (2003). Proving Temporal Properties of Z Specifications Using Abstraction. ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, 4–6 June 2003. Heidelberg Germany: Springer - Verlag. doi: 10.1007/3-540-44880-2_17 |
|
2002 Conference Publication Specifying mode requirements of embedded systemsSmith, G.P. (2002). Specifying mode requirements of embedded systems. 25th Australasian Computer Science Conference (ACSC 2002), Melbourne, VIC Australia, 28 January - 1 February 2002. Adelaide, SA Australia: Australian Computer Society. |
|
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 |
|
2002 Conference Publication An introduction to real-time Object-ZSmith, G. P. and Hayes, I. J. (2002). An introduction to real-time Object-Z. London: Springer-Verlag. doi: 10.1007/s001650200003 |
|
2002 Conference Publication Introducing reference semantics via refinementSmith, G. P. (2002). Introducing reference semantics via refinement. 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_60 |
|
2002 Other Outputs Using Z to animate Object-Z specificationsMcComb, T. J. and Smith, G. P. (2002). Using Z to animate Object-Z specifications. Brisbane, Australia: The University of Queensland. |
|
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 |
|
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 Other Outputs State-based formal methods for distributed processing: from Z to Object-ZSmith, G. P. (2001). State-based formal methods for distributed processing: from Z to Object-Z. Brisbane: Software Verification Research Cen. Univ of Qld. |
|
2001 Book Chapter State-Based Approaches: From Z to Object-ZSmith, G. P. (2001). State-Based Approaches: From Z to Object-Z. Formal Methods for Distributed Processing: A Survey of Object-Orientated Approaches. (pp. 105-125) edited by H. Bowman and J. Derrick. Cambridge, UK: Cambridge University Press. |
|
2001 Other Outputs Model checking Object-Z classes: Some experiments with FDRKassel, G. D. and Smith, G. P. (2001). Model checking Object-Z classes: Some experiments with FDR. Brisbane: Software Verification Research Cen. Univ of Qld. |
|
2001 Journal Article Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSPSmith, G and Derrick, J (2001). Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP. Formal Methods In System Design, 18 (3), 249-284. doi: 10.1023/A:1011269103179 |
|
2001 Other Outputs Specifying mode requirements for embedded systemsSmith, G. P. (2001). Specifying mode requirements for embedded systems. Brisbane: Software Verification Research Cen. Univ of Qld. |
|
2001 Other Outputs Encoding Object-Z in Isabelle-HOLSmith, G. P., Kammuller, F and Santen, T (2001). Encoding Object-Z in Isabelle-HOL. Brisbane: Software Verification Research Cen. Univ of Qld. |
|
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. |
|
2001 Other Outputs Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSPSmith, G. P. and Derrick, J. (2001). Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP. Brisbane: Software Verification Research Cen. Univ of Qld. |
|
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 Journal Article Incremental development of real-time requirements: The light control case studySmith, G. P. and Fidge, C. J. (2000). Incremental development of real-time requirements: The light control case study. Journal of Universal Computer Science, 6 (7), 704-730. |
|
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 |
