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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2004

We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object…

2001

Z (pronounced ‘zed’) is a formal specification notation [9] based on set theory and first order predicate logic. The mathematical…

1999

1999

1998

Software architectural design is essential for complex distributed applications. Architectural specifications need to define the…

1993

It is becoming widely accepted that along with the formal specification of functional properties it is necessary, in some systems…

1991

Prototyping formal specifications can help capture accurately the requirements of real-world problems. We present a software…

1991

1989

This paper shows how formal specification techniques can be beneficially applied in the develop ment of electronic…

Highly Cited

1987

Highly Cited

1987

We discuss the development of executable programs from state-based specifications written in the language of first-order…