Follow
Graeme Smith
Graeme Smith
Verified email at itee.uq.edu.au - Homepage
Title
Cited by
Cited by
Year
The Object-Z specification language
G Smith
Springer Science & Business Media, 2012
9172012
Object-Z: A specification language advocated for the description of standards
R Duke, G Rose, G Smith
Computer Standards & Interfaces 17 (5-6), 511-533, 1995
4161995
The Object-Z specification language: version 1
R Duke, P King, G Rose, G Smith
SVRC, 1991
395*1991
A semantic integration of Object-Z and CSP for the specification of concurrent systems
G Smith
FME'97: Industrial Applications and Strengthened Foundations of Formal …, 2005
1592005
A fully abstract semantics of classes for Object-Z
G Smith
Formal Aspects of Computing 7, 289-313, 1995
1161995
Specification, refinement and verification of concurrent systems—an integration of Object-Z and CSP
G Smith, J Derrick
Formal Methods in System Design 18, 249-284, 2001
1122001
An object-oriented approach to formal specification
G Smith
University of Queensland, 1992
841992
Refinement and verification of concurrent systems specified in Object-Z and CSP
G Smith, J Derrick
First IEEE international conference on Formal engineering methods, 293-302, 1997
781997
Temporal logic and Z specifications
R Duke, G Smith
Australian Computer Journal 21 (2), 62-66, 1989
741989
Model checking Z specifications using SAL
G Smith, L Wildman
ZB 3455, 85-103, 2005
722005
Extending W for Object-Z
G Smith
ZUM'95: The Z Formal Specification Notation: 9th International Conference of …, 1995
641995
Encoding object-z in isabelle/hol
G Smith, F Kammüller, T Santen
ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002
432002
Model checking Object-Z classes: Some experiments with FDR
G Kassel, G Smith
Proceedings Eighth Asia-Pacific Software Engineering Conference, 445-452, 2001
392001
Reasoning about Object-Z specifications
G Smith
Proceedings 1995 Asia Pacific Software Engineering Conference, 489-497, 1995
341995
Combining CSP and Object-Z: Finite or infinite trace semantics?
C Fischer, G Smith
Formal Description Techniques and Protocol Specification, Testing and …, 1997
311997
Structural refinement in Object-Z/CSP
J Derrick, G Smith
Integrated Formal Methods: Second International Conference, IFM 2000 …, 2000
292000
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
E Boiten, J Derrick, G Smith
Springer, 2004
282004
Proving temporal properties of Z specifications using abstraction
G Smith, K Winter
ZB 2003: Formal Specification and Development in Z and B: Third …, 2003
282003
Towards real-time Object-Z
G Smith, I Hayes
IFM’99: Proceedings of the 1st International Conference on Integrated Formal …, 1999
281999
Formal development of self-organising systems
G Smith, JW Sanders
Autonomic and Trusted Computing: 6th International Conference, ATC 2009 …, 2009
272009
The system can't perform the operation now. Try again later.
Articles 1–20