Specification Notation is a formal academic construct that belongs to the class of paper-level contributions within material notation, distinguished by its role in explicitly defining a method, model, framework, theory, construct, dataset, task, or metric in precise and systematic terms.
88
Publications
3.3K
Citations
179
Authors
93
Institutions
Publications per year
2017–2026
1
Parents
Publications
88
Specifications in an arbitrary institution
Donald Sannella, Andrzej Tarlecki · Information and Computation · 1988 · 226 citations
The RAISE Specification Language
Anne E. Haxthausen · 1992 · 207 citations
R. L. Smith, George S. Avrunin, Lori A. Clarke et al. · 2002 · 148 citations
1–5 of 88
Authors
179
- AV
3
h-index
- FD
3
h-index
- MB
3
h-index
- DC
2
h-index
- NA
2
h-index
1–5 of 179
Institutions
93
The University of Queensland
Brisbane, Australia
4 h-index
7 publications
484 citations
University of Southampton
Southampton, United Kingdom
4 h-index
11 publications
206 citations
University of Oxford
Oxford, United Kingdom
3 h-index
4 publications
251 citations
University of Cambridge
Cambridge, United Kingdom
2 h-index
3 publications
55 citations
North Dakota State University
Fargo, United States
2 h-index
2 publications
54 citations
Rutgers, The State University of New Jersey
New Brunswick, United States
2 h-index
2 publications
264 citations
Oxford Research Group
London, United Kingdom
2 h-index
3 publications
239 citations
University of Southern California
Los Angeles, United States
2 h-index
4 publications
218 citations
1–8 of 93
Venues
- IEEE Transactions on Software Engineering
TSE · 9 publications · 862 citations
9
h-index
- Software Engineering Journal
4 publications · 77 citations
4
h-index
- ePrints Soton (University of Southampton)
Repository · 2 publications · 35 citations
2
h-index
- Communications of the ACM
2 publications · 35 citations
2
h-index
- Electronic workshops in computing
2 publications · 36 citations
2
h-index
1–5