Graeme Smith
Graeme Smith
Verified email at itee.uq.edu.au - Homepage
TitleCited byYear
The Object-Z specification language
G Smith
Springer Science & Business Media, 2012
8202012
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
4031995
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
4031995
The Object-Z specification language: Version 1
R Duke, P King, G Rose, G Smith
366*1991
Object-Z: An object-oriented extension to Z
DA Carrington, DJ Duke, R Duke, P King, GA Rose, G Smith
Proceedings of the IFIP TC/WG6. 1 Second International Conference on Formal …, 1989
2571989
A semantic integration of Object-Z and CSP for the specification of concurrent systems
G Smith
International Symposium of Formal Methods Europe, 62-81, 1997
1541997
A fully abstract semantics of classes for Object-Z
G Smith
Formal Aspects of Computing 7 (3), 289-313, 1995
1051995
Specification, refinement and verification of concurrent systems—an integration of Object-Z and CSP
G Smith, J Derrick
Formal Methods in System Design 18 (3), 249-284, 2001
1002001
An object-oriented approach to formal specification
G Smith
University of Queensland, 1992
761992
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
681997
Temporal logic and Z specifications
R Duke, G Smith
Australian Computer Journal 21 (2), 62-66, 1989
671989
Model checking Z specifications using SAL
G Smith, L Wildman
International Conference of B and Z Users, 85-103, 2005
662005
Extending W for Object-Z
G Smith
International Conference of Z Users, 276-295, 1995
621995
IO-refinement in Z
EA Boiten, J Derrick
Springer Verlag, 1998
561998
Encoding object-z in isabelle/hol
G Smith, F Kammüller, T Santen
International Conference of B and Z Users, 82-99, 2002
372002
Model checking Object-Z classes: Some experiments with FDR
G Kassel, G Smith
Proceedings Eighth Asia-Pacific Software Engineering Conference, 445-452, 2001
362001
Combining CSP and Object-Z: Finite or infinite trace semantics?
C Fischer, G Smith
Formal Description Techniques and Protocol Specification, Testing and …, 1997
311997
Reasoning about Object-Z specifications
G Smith
Proceedings 1995 Asia Pacific Software Engineering Conference, 489-497, 1995
291995
Structural refinement in Object-Z/CSP
J Derrick, G Smith
International conference on integrated formal methods, 194-213, 2000
272000
Towards real-time Object-Z
G Smith, I Hayes
IFM’99, 49-65, 1999
271999
The system can't perform the operation now. Try again later.
Articles 1–20