Z notation

Known as: , ,  
The Z notation /ˈzɛd/ is a formal specification language used for describing and modelling computing systems. It is targeted at the clear… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The Z notation for the formal specification of computer-based systems has been in existence since the early 1980s. Since then, an… (More)
  • figure 1
  • figure 2
Is this relevant?
2011
2011
Initially, relational model of data has been speciˇed by E. F. Codd with the naming conventions to the attributes called… (More)
Is this relevant?
2008
2008
Functionalities and control behavior are both primary requirements in design of a complex system. Automata theory plays an… (More)
  • figure 1
  • figure 2
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?
1998
1998
The use of the WWW as a communication medium for software engineers is limited by the lack of tools for writing, sharing, and… (More)
Is this relevant?
1992
1992
The Box Structure Method (BSM) provides a framework that can be used to introduce formality into the requirements speci cation… (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?
Highly Cited
1989
Highly Cited
1989
data type A state space, together with an initial state and a number of operations. In Z, these are all described using schemas… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
 
Is this relevant?