Prati
Graeme Smith
Graeme Smith
Potvrđena adresa e-pošte na itee.uq.edu.au - Početna stranica
Naslov
Citirano
Citirano
Godina
The Object-Z specification language
G Smith
Springer Science & Business Media, 2012
9232012
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
5361995
The Object-Z specification language: version 1
R Duke, P King, G Rose, G Smith
SVRC, 1991
1791991
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
1571997
A fully abstract semantics of classes for Object-Z
G Smith
Formal Aspects of Computing 7, 289-313, 1995
1171995
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
1072001
Object-Z: a specification language advocated for the description of standards
R Duke, G Rose, G Smith
Software Verification Research Centre TR94-45, The University of Queensland …, 1994
951994
An object-oriented approach to formal specification
G Smith
University of Queensland, 1992
791992
Temporal logic and Z specifications
R Duke, G Smith
Australian Computer Journal 21 (2), 62-66, 1989
781989
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
771997
Model checking Z specifications using SAL
G Smith, L Wildman
ZB 2005: Formal Specification and Development in Z and B: 4th International …, 2005
722005
Extending W for Object-Z
G Smith
ZUM'95: The Z Formal Specification Notation: 9th International Conference of …, 1995
571995
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
442002
Model checking Object-Z classes: Some experiments with FDR
G Kassel, G Smith
Proceedings Eighth Asia-Pacific Software Engineering Conference, 445-452, 2001
402001
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
302009
Proving temporal properties of Z specifications using abstraction
G Smith, K Winter
International Conference of B and Z Users, 260-279, 2003
302003
Combining CSP and Object-Z: Finite or infinite trace semantics?
C Fischer, G Smith
Formal Description Techniques and Protocol Specification, Testing and …, 1997
301997
Structural refinement in Object-Z/CSP
J Derrick, G Smith
International conference on integrated formal methods, 194-213, 2000
292000
Towards real-time Object-Z
G Smith, I Hayes
IFM’99: Proceedings of the 1st International Conference on Integrated Formal …, 1999
291999
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20