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
8932012
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
4181995
The Object-Z specification language: Version 1
R Duke, P King, G Rose, G Smith
376*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
2681989
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
1121995
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
1032001
An object-oriented approach to formal specification
G Smith
University of Queensland, 1992
771992
Temporal logic and Z specifications
R Duke, G Smith
Australian Computer Journal 21 (2), 62-66, 1989
751989
Model checking Z specifications using SAL
G Smith, L Wildman
International Conference of B and Z Users, 85-103, 2005
702005
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
701997
Extending W for Object-Z
G Smith
International Conference of Z Users, 276-295, 1995
601995
Encoding object-z in isabelle/hol
G Smith, F Kammüller, T Santen
International Conference of B and Z Users, 82-99, 2002
412002
Model checking Object-Z classes: Some experiments with FDR
G Kassel, G Smith
Proceedings Eighth Asia-Pacific Software Engineering Conference, 445-452, 2001
372001
Reasoning about Object-Z specifications
G Smith
Proceedings 1995 Asia Pacific Software Engineering Conference, 489-497, 1995
341995
Formal development of self-organising systems
G Smith, JW Sanders
International Conference on Autonomic and Trusted Computing, 90-104, 2009
292009
Proving temporal properties of Z specifications using abstraction
G Smith, K Winter
International Conference of B and Z Users, 260-279, 2003
292003
Towards real-time Object-Z
G Smith, I Hayes
IFM’99, 49-65, 1999
271999
Combining CSP and Object-Z: Finite or infinite trace semantics?
C Fischer, G Smith
Formal Description Techniques and Protocol Specification, Testing and …, 1997
271997
Structural refinement in Object-Z/CSP
J Derrick, G Smith
International conference on integrated formal methods, 194-213, 2000
262000
The system can't perform the operation now. Try again later.
Articles 1–20