Object-Z

Known as: Object Z 
Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland, Australia. Object-Z extends Z by the addition… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Early chapters have been extended to also include trace refinement, based directly on partial relations rather than through… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
refinement in z and object z foundations and advanced refinement in z and object-z university of kent formal approaches to… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
ÐThis paper describes a timed, multithreaded object modeling notation for specifying real-time, concurrent, and reactive systems… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Why should wait for some days to get or receive the formal object oriented specification using object z book that you order? Why… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
 
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 1.5
  • figure 1.6
Is this relevant?
Highly Cited
1999
Highly Cited
1999
To produce a precise and analyzable software model, it is essential for the modeling technique to have formality in the syntax… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Object-Z is an extension to the Z language designed to facilitate specification in an object-oriented style. It is an excellent… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
In this paper we define a combination of Object-Z and CSP calle d CSP-OZ. The basic idea is to define a CSP-semantics for every… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Abs t rac t . This paper presents a method of formally specifying concurrent systems which uses the object-oriented state-based… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Preface This report presents Version 1 of Object-Z, an extension to the speciication language Z, which facilitates the… (More)
Is this relevant?