Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object… 
2001
2001
Z (pronounced ‘zed’) is a formal specification notation [9] based on set theory and first order predicate logic. The mathematical… 
1998
1998
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the… 
1993
1993
It is becoming widely accepted that along with the formal specification of functional properties it is necessary, in some systems… 
1991
1991
Prototyping formal specifications can help capture accurately the requirements of real-world problems. We present a software… 
1989
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…