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)

Related topics

Related topics

46 relations
APCBAPLAlloy (specification language)Altran Praxis

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
SATyrus: a SAT-based neuro-symbolic architecture for constraint processing
This paper introduces SATyrus, a neuro-symbolic architecture oriented to optimization problem solving via mapping problems… 
2004
2004
Architectural design in object-Z
We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object… 
2001
2001
Z: a formal specification notation
Z (pronounced ‘zed’) is a formal specification notation [9] based on set theory and first order predicate logic. The mathematical… 
2000
2000
Animation of Z Specifications By Translation to Prolog
Yazilim gelistirebilmenin formal metodlari o yazilim tanimlamasinin gecerliligine baglidir. Boyle bir tanimlama genelde 'Z' gibi… 
1998
1998
A Set-Theoretic Model for Real-Time Specification and Reasoning
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We… 
Review
1998
Review
1998
Innovations in the Notation of Standard Z
The second Committee Draft of the ISO standard “Z Notation” is expected to be published soon after the ZUM’98 proceedings. This… 
1993
1993
Specifying temporal requirements for distributed real-time systems in Z
It is becoming widely accepted that along with the formal specification of functional properties it is necessary, in some systems… 
1991
1991
EZ: A System for Automatic Prototyping of Z Specifications
Prototyping formal specifications can help capture accurately the requirements of real-world problems. We present a software… 
1989
1989
Formally specifying electronic instruments
This paper shows how formal specification techniques can be beneficially applied in the develop ment of electronic… 
Highly Cited
1987
Highly Cited
1987
Specification statements and refinements
We discuss the development of executable programs from state-based specifications written in the language of first-order… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)