Z Notation is a formal specification language based on set theory and first-order logic that uses mathematical notation to precisely describe and model computing systems through schema calculus.
74
Publications
3.8K
Citations
130
Authors
71
Institutions
Publications per year
2017–2026
6
Parents
Publications
74
Lotfi A. Zadeh · Information Sciences · 2011 · 1.3K citations
The Z notation: A reference manual
Jan Madey · Science of Computer Programming · 1990 · 561 citations
An introduction to Z and formal specifications
Justin M Spivey · Software Engineering Journal · 1989 · 141 citations
Is proof more cost-effective than testing?
S. King, Jonathan Hammond, Roderick Chapman et al. · IEEE Transactions on Software Engineering · 2000 · 91 citations
1–5 of 74
Authors
130
- NA
6
h-index
- JP
4
h-index
- SS
3
h-index
- SB
3
h-index
- MJ
3
h-index
1–5 of 130
Institutions
71
The University of Queensland
Brisbane, Australia
6 h-index
11 publications
566 citations
University of Oxford
Oxford, United Kingdom
5 h-index
5 publications
234 citations
University of York
York, United Kingdom
4 h-index
4 publications
140 citations
London South Bank University
London, United Kingdom
4 h-index
6 publications
141 citations
King Faisal University
Hofuf, Saudi Arabia
3 h-index
3 publications
76 citations
University of Cambridge
Cambridge, United Kingdom
3 h-index
4 publications
71 citations
Oxford Research Group
London, United Kingdom
3 h-index
3 publications
191 citations
King Saud University
Riyadh, Saudi Arabia
3 h-index
6 publications
165 citations
1–8 of 71
Venues
- Software Engineering Journal
5 publications · 233 citations
5
h-index
- IEEE Transactions on Software Engineering
TSE · 4 publications · 395 citations
4
h-index
- ACM SIGSOFT Software Engineering Notes
SEN · 3 publications · 69 citations
3
h-index
- Computer Graphics Forum
2 publications · 21 citations
2
h-index
- Sensors
1 publications · 33 citations
1
h-index
1–5