|
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 |
|
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 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 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 Book Stepwise development from ideal specificationsSmith, Graeme (1999). Stepwise development from ideal specifications. SVRC Technical Report, 99-35. Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. |
|
1999 Book Towards real-time object-ZSmith, Graeme and Hayes, Ian (1999). Towards real-time object-Z. Technical Report SSE, 99-10. Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. |
