Searching for "Object-Z." – sorted by Relevance.
-
An Object-Z Browser
- Queensland 4072 Australia TECHNICAL REPORT No. 97-27 An Object-Z Browser Wendy Johnston November 1997 Phone
- Add To MetaCart
-
A Logic for Object-Z
- Logic for Object-Z December 1994 A Logic for Object-Z Graeme Smith Software Verification Research
- Cited by 24 (8 self) – Add To MetaCart
-
Compositional Verification for Object-Z
- Compositional Verification for Object-Z Kirsten Winter and Graeme Smith Software Verification
- Cited by 7 (4 self) – Add To MetaCart
-
An Overview of Mobile Object-Z
- An Overview of Mobile Object-Z Kenji Taguchi 1 and Jin Song Dong 2 1 Department of Information
- Cited by 4 (1 self) – Add To MetaCart
-
Modular Reasoning in Object-Z
- Queensland 4072 Australia TECHNICAL REPORT No. 97--28 Modular Reasoning in Object-Z Alena Griffiths August
- Cited by 5 (0 self) – Add To MetaCart
-
Timed Communicating Object Z
- systems. The notation Timed Communicating Object Z (TCOZ) builds on Object-Z's strengths in modeling
- Cited by 32 (13 self) – Add To MetaCart
-
Structural refinement in Object-Z / CSP
- Structural refinement in Object-Z / CSP John Derrick 1 and Graeme Smith 2 1 Computing Laboratory
- Cited by 4 (3 self) – Add To MetaCart
-
An Introduction to Real-Time Object-Z
- Formal Aspects of Computing (2002) 13: 142-160 c○ 2002 BCS An Introduction to Real-Time Object-Z
- Cited by 1 (0 self) – Add To MetaCart
-
Object-Z Web Environment and Projections to UML
- ABSTRACT Object-Z Web Environment and Projections to UML This paper presents the XML/XSL approach
- Cited by 11 (4 self) – Add To MetaCart
-
The Object-Z Specification Language: Version 1
- , Paul King, Gordon Rose and Graeme Smith The Object-Z Specification Language: Version 1 April 1991
- Cited by 68 (5 self) – Add To MetaCart

