Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,364,165 papers from all fields of science
Search
Sign In
Create Free Account
Z notation
Known as:
⨠
, ⦁
, ⨡
Expand
The Z notation /ˈzɛd/ is a formal specification language used for describing and modelling computing systems. It is targeted at the clear…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
46 relations
APCB
APL
Alloy (specification language)
Altran Praxis
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
Architectural design in object-Z
Tim McComb
,
Graeme Smith
Australian Software Engineering Conference…
2004
Corpus ID: 2148830
We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object…
Expand
2001
2001
Z: a formal specification notation
Jonathan P. Bowen
2001
Corpus ID: 117359902
Z (pronounced ‘zed’) is a formal specification notation [9] based on set theory and first order predicate logic. The mathematical…
Expand
1999
1999
An approach to Z toolkit for the reference model of open distributed processing
D.Randolph Johnson
,
H. Kilov
1999
Corpus ID: 62560125
1999
1999
Set-combinations of the mixed-dimension cellular objects of the Djinn API
A. Middleditch
,
C. Reade
,
A. Gomes
Comput. Aided Des.
1999
Corpus ID: 16628096
1998
1998
Software architectural specification for optimal object distribution
M. Bastarrica
,
S. Demurjian
,
Alexander A. Shvartsman
Proceedings SCCC'98. 18th International…
1998
Corpus ID: 16422472
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the…
Expand
1993
1993
Specifying temporal requirements for distributed real-time systems in Z
A. Coombes
,
J. Mcdermid
Software Engineering Journal
1993
Corpus ID: 5569256
It is becoming widely accepted that along with the formal specification of functional properties it is necessary, in some systems…
Expand
1991
1991
EZ: A System for Automatic Prototyping of Z Specifications
Veronika Doma
,
Robin A. Nicholl
VDM Europe
1991
Corpus ID: 36901032
Prototyping formal specifications can help capture accurately the requirements of real-world problems. We present a software…
Expand
1991
1991
Modular grammars for programming language prototyping
S. Adams
1991
Corpus ID: 41956821
1989
1989
Formally specifying electronic instruments
N. M. Delisle
,
D. Garlan
International Workshop on Software Specification…
1989
Corpus ID: 9168135
This paper shows how formal specification techniques can be beneficially applied in the develop ment of electronic…
Expand
Highly Cited
1987
Highly Cited
1987
Specification statements and refinements
Carroll Morgan
,
K. Robinson
1987
Corpus ID: 62546729
We discuss the development of executable programs from state-based specifications written in the language of first-order…
Expand
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)
ACCEPT & CONTINUE