Obserwuj
Graeme Smith
Graeme Smith
The University of Queensland
Zweryfikowany adres z itee.uq.edu.au - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
The Object-Z specification language
G Smith
Springer Science & Business Media, 2012
9312012
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
5371995
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
2871989
The Object-Z specification language: version 1
R Duke, P King, G Rose, G Smith
SVRC, 1991
1861991
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
1621997
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
1092001
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
941994
Temporal logic and Z specifications
R Duke, G Smith
Australian Computer Journal 21 (2), 62-66, 1989
791989
An object-oriented approach to formal specification
G Smith
University of Queensland, 1992
781992
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
661995
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
351995
Formal development of self-organising systems
G Smith, JW Sanders
International Conference on Autonomic and Trusted Computing, 90-104, 2009
312009
Proving temporal properties of Z specifications using abstraction
G Smith, K Winter
International Conference of B and Z Users, 260-279, 2003
312003
Combining CSP and Object-Z: Finite or infinite trace semantics?
C Fischer, G Smith
Formal Description Techniques and Protocol Specification, Testing and …, 1997
291997
A wide-spectrum language for verification of programs on weak memory models
RJ Colvin, G Smith
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
282018
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20