Executable Requirements is a formal requirement specification that is directly amenable to execution, enabling automated validation, verification, and traceability within executable system models.
30
Publications
1K
Citations
88
Authors
47
Institutions
Publications per year
2017–2026
6
Parents
Publications
30
Specifications are not (necessarily) executable
Ian J. Hayes, Cliff B. Jones · Software Engineering Journal · 1989 · 198 citations
Goal-oriented requirements animation
2004 · 56 citations
1–5 of 30
Authors
88
- SJ
2
h-index
- RK
2
h-index
- TV
1
h-index
- FG
1
h-index
- GP
1
h-index
1–5 of 88
Institutions
47
University of Manchester
Manchester, United Kingdom
2 h-index
3 publications
250 citations
Jet Propulsion Laboratory
Pasadena, United States
2 h-index
10 publications
188 citations
Universidade Nova de Lisboa
Lisbon, Portugal
1 h-index
1 publications
28 citations
Ferioli & Gianotti (Italy)
Turin, Italy
1 h-index
3 publications
48 citations
United Nations University Institute on Computing and Society
Macao, China
1 h-index
1 publications
10 citations
TMT Observatory
Pasadena, United States
1 h-index
1 publications
16 citations
United Nations University Institute on Globalization, Culture and Mobility
Barcelona, Spain
1 h-index
1 publications
10 citations
UK Carbon Capture and Research Centre
Sheffield, United Kingdom
1 h-index
1 publications
36 citations
1–8 of 47
Venues
- Software Engineering Journal
2 publications · 226 citations
2
h-index
- Software & Systems Modeling
SoSyM · 2 publications · 147 citations
2
h-index
- Journal of Systems and Software
JSS · 2 publications · 40 citations
2
h-index
- Microprocessing and Microprogramming
1 publications · 13 citations
1
h-index
- IEEE Transactions on Software Engineering
TSE · 1 publications · 19 citations
1
h-index
1–5