Z-Notation

Z is the name of a notation for the formal specification of software systems and modules.

Z is based on Zermelo -Fraenkel set theory and first-order predicate logic. Specifications for complex software systems of Z are achieved by the composition of hierarchical schemes. A schema consists of a number of typed variables and conditions which are imposed on the assignments of the variables.

Z was created by Jean -Raymond Abrial in the late 1970s and further developed by the Programming Research Group at Oxford University Computing Laboratory. In 2002, Z has been standardized by ISO (ISO 13568 ).

Extensions

Object -Z

Object -Z is an object-oriented extension that was developed at the University of Queensland, Australia. It extends Z by language constructs that are similar to the object-oriented paradigms. Essentially, these classes, inheritance, and polymorphism.

Although Object -Z is not as popular as Z itself, but it received considerable attention from the formal specification community. Studies on various aspects of language are being, including languages ​​that use the Object -Z and various tool support (eg through the Community Z Tools project ).

Z

Z is an object- oriented extension of the Z- notation.