Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Appendix F: works cited

Authors
Affiliations
Dynamical Systems Group
Humane Intelligence

Every chapter closes with the sources it cites, and each of those lists is derived from the graph rather than typed: the term references on the page resolve to glossary terms, whose canonical and neighbouring citations name a registered source with a locator; the steps tables name the canon each step matches; the essentials tables name what each essential rests on; and the bridge tables on the front page and the conclusion name the session and the book behind it. This appendix aggregates those lists for the whole work. The table below has one row per source in the register (sources/sources.ttl, shown with its posture and licence note in the Sources section of the standards chapter), in citation precedence, with the pages that cite it; a source cited by no page says so. The bibliography beneath it is rendered by MyST from references.bib, which scripts/render_bib.py regenerates from the register: one entry per source, keyed by the source’s own BibTeX key (ogc:bibkey), with no field the register does not state. The entries the hand-written file carried before the renderer existed are kept and merged.

RankSourceCited on
1ISO, ISO 9000:2026 Quality management — Fundamentals and vocabulary International Organization for Standardization, 2026OG-CAIE as an executable specification, Standards and definitions, Stakeholders and contracting, Context and evaluation, A nested lifecycle, Records and reporting, Conclusion
2IEEE Computer Society, Software and Systems Engineering Vocabulary (SEVOCAB), PDF export created 2026-09-02 (481 pp.) IEEE Computer Society and ISO/IEC JTC 1/SC 7, 2026OG-CAIE as an executable specification, Standards and definitions, Stakeholders and contracting, Context and evaluation, Records and reporting, Conclusion
3NIST, Artificial Intelligence Risk Management Framework (AI RMF 1.0) NIST, 2023OG-CAIE as an executable specification, Standards and definitions
3NIST, Assessing Risks and Impacts of AI (ARIA): ARIA 0.1 Pilot Evaluation Report Amironesei et al., 2025OG-CAIE as an executable specification, Standards and definitions, Stakeholders and contracting, Context and evaluation, Records and reporting, Conclusion
4W3C, Evaluation and Report Language (EARL) 1.0 Schema W3C, 2017OG-CAIE as an executable specification, Standards and definitions, Context and evaluation, Conclusion
4W3C, PROV-O: The PROV Ontology W3C, 2013Context and evaluation
4W3C, Shapes Constraint Language (SHACL) W3C, 2017Standards and definitions, Context and evaluation, Records and reporting
4W3C, SKOS Simple Knowledge Organization System Reference W3C, 2009no page: in the register, cited by no term, step or essential a page renders
5IEC, IEC 60050-351:2013 International Electrotechnical Vocabulary, Part 351: Control technology IEC, 2013OG-CAIE as an executable specification, Standards and definitions, Context and evaluation, Conclusion
5ISO/IEC, ISO/IEC 17000:2020 Conformity assessment — Vocabulary and general principles ISO/IEC, 2020OG-CAIE as an executable specification, Standards and definitions, Stakeholders and contracting, Context and evaluation, Conclusion
5JCGM, JCGM 200:2012 International vocabulary of metrology, basic and general concepts and associated terms (VIM), 3rd edition JCGM, 2012OG-CAIE as an executable specification, Standards and definitions, Context and evaluation, Records and reporting, Conclusion
6INCOSE, Guide to Writing Requirements v4, Summary Sheet INCOSE, 2023OG-CAIE as an executable specification, Standards and definitions, Stakeholders and contracting, Context and evaluation, Conclusion
6IAASB, International Standard on Auditing 500: Audit Evidence International Auditing and Assurance Standards Board, 2009OG-CAIE as an executable specification, Standards and definitions, Context and evaluation, Conclusion
6NIST, Guidelines for Evaluating and Expressing the Uncertainty of NIST Measurement Results Taylor & Kuyatt, 1994Standards and definitions, Context and evaluation, Records and reporting
6Guide to the Systems Engineering Body of Knowledge (SEBoK) v2.14, released 18 May 2026 SEBoK Editorial Board, 2026OG-CAIE as an executable specification, Standards and definitions, Stakeholders and contracting, Context and evaluation
7Gruber, A Translation Approach to Portable Ontology Specifications Gruber, 1993no page: in the register, cited by no term, step or essential a page renders
7Hawkins, Kelly, Knight and Graydon, A New Approach to Creating Clear Safety Arguments Hawkins et al., 2011OG-CAIE as an executable specification, Standards and definitions, Context and evaluation, Conclusion
7Hogan et al., Knowledge Graphs Hogan et al., 2021no page: in the register, cited by no term, step or essential a page renders
7Popper, The Logic of Scientific Discovery Popper, 1959OG-CAIE as an executable specification, Conclusion
8Hollek and Zargham, Building Scientific Approaches to Generative AI Hollek & Zargham, 2026OG-CAIE as an executable specification, Stakeholders and contracting, Conclusion

Also in the bibliography, kept from the hand-written file and cited by no page’s terms or tables: Open-MBEE, OpenSysML v0.4.3 Open-MBEE, 2026.

1Cited through the compilations

The standards the compilations carry: every designation a SEVOCAB or SEBoK locator names, with what cites it through them. These are cited at second hand and are not in the register; the compilation is.

StandardThroughCited for
IEEE 1012-2024sevocabtest case
IEEE 982-2024sevocaboperational environment
INCOSE 2011 (a SEBoK reference key)sebok-2-14C6 accept
INCOSE 2012 (a SEBoK reference key)sebok-2-14C3 agree
ISO TR 25060:2023sevocabdialogue
ISO/IEC 14143-2:2011sevocabrecommendation
ISO/IEC 14756:1999sevocabtest item
ISO/IEC 25000:2014sevocabevaluation team, validation, verification
ISO/IEC 25001:2014sevocab5 determine and attest, evaluation
ISO/IEC 25059:2023sevocabtest suite
ISO/IEC 33001:2015sevocabevaluation team, objective evidence
ISO/IEC 33202:2024sevocabacceptance criteria, statement of work
ISO/IEC TR 14143-3:2003sevocabrepeatability, reproducibility
ISO/IEC TR 29119-11:2020sevocabnon-deterministic system, scenario, test item
ISO/IEC/IEEE 12207:2026sevocabevaluation operator, stakeholder
ISO/IEC/IEEE 15288:2023sevocabtest item
ISO/IEC/IEEE 24641:2023sevocabontology
ISO/IEC/IEEE 24748-2 on 15288sebok-2-14Evaluation Process Ontology
ISO/IEC/IEEE 24748-5:2017sevocabauthorized representative, C6 accept, sponsor signatory
ISO/IEC/IEEE 24765:2014 (as SEVOCAB tags the entry)sevocabC2 propose
ISO/IEC/IEEE 24765:2017sevocabC2 propose, C4 access, C5 deliver, evaluation record
ISO/IEC/IEEE 24765e:2015 (as SEVOCAB tags the entry)sevocabscenario
ISO/IEC/IEEE 29119-1:2022sevocabtest suite
ISO/IEC/IEEE 29119-2:2021sevocab3 plan, 4 execute, 6 report, C4 access, C5 deliver, determination, Evaluation Process Ontology, outcome, report, risk-based testing, test, test coverage, test item, test plan, test strategy
ISO/IEC/IEEE 29119-4:2021sevocabexpected results
ISO/IEC/IEEE 29148:2018sevocab2 declare the requirement set (operational envelope), requirements traceability

2The bibliography

References
  1. International Organization for Standardization. (2026). ISO 9000:2026 Quality management — Fundamentals and vocabulary. International Organization for Standardization. https://www.iso.org/obp/ui/#iso:std:iso:9000:ed-5:v1:en
  2. IEEE Computer Society and ISO/IEC JTC 1/SC 7. (2026). IEEE Computer Society, Software and Systems Engineering Vocabulary (SEVOCAB), PDF export created 2026-09-02 (481 pp.). IEEE Computer Society and ISO/IEC JTC 1/SC 7. https://www.computer.org/sevocab
  3. Artificial Intelligence Risk Management Framework (AI RMF 1.0) (Techreport NIST AI 100-1). (2023). NIST. 10.6028/NIST.AI.100-1
  4. Amironesei, R., Godil, A., Greenberg, C., Greene, K., Hall, P., Jensen, T., Fiscus, J., & Schulman, N. (2025). Assessing Risks and Impacts of AI (ARIA): ARIA 0.1 Pilot Evaluation Report (Techreport NIST AI 700-2). National Institute of Standards and Technology. 10.6028/NIST.AI.700-2
  5. W3C. (2017). Evaluation and Report Language (EARL) 1.0 Schema. W3C. https://www.w3.org/TR/2017/NOTE-EARL10-Schema-20170202/
  6. W3C. (2013). PROV-O: The PROV Ontology. W3C. https://www.w3.org/TR/2013/REC-prov-o-20130430/
  7. W3C. (2017). Shapes Constraint Language (SHACL). W3C. https://www.w3.org/TR/2017/REC-shacl-20170720/
  8. W3C. (2009). SKOS Simple Knowledge Organization System Reference. W3C. https://www.w3.org/TR/2009/REC-skos-reference-20090818/
  9. IEC. (2013). IEC 60050-351:2013 International Electrotechnical Vocabulary, Part 351: Control technology. IEC. https://www.electropedia.org/iev/iev.nsf/index?openform=&part=351
  10. ISO/IEC. (2020). ISO/IEC 17000:2020 Conformity assessment — Vocabulary and general principles. ISO/IEC. https://www.iso.org/obp/ui/en/#iso:std:73029:en
  11. JCGM. (2012). JCGM 200:2012 International vocabulary of metrology, basic and general concepts and associated terms (VIM), 3rd edition. BIPM. 10.59161/jcgm200-2012
  12. INCOSE. (2023). Guide to Writing Requirements v4, Summary Sheet. INCOSE.
  13. International Auditing and Assurance Standards Board. (2009). International Standard on Auditing 500: Audit Evidence. International Auditing and Assurance Standards Board.
  14. Taylor, B. N., & Kuyatt, C. E. (1994). Guidelines for Evaluating and Expressing the Uncertainty of NIST Measurement Results (Techreport NIST Technical Note 1297). National Institute of Standards and Technology. https://nvlpubs.nist.gov/nistpubs/legacy/tn/nbstechnicalnote1297.pdf
  15. SEBoK Editorial Board. (2026). Guide to the Systems Engineering Body of Knowledge (SEBoK) v2.14, released 18 May 2026 (N. Hutchison, Ed.). The Trustees of the Stevens Institute of Technology. https://sebokwiki.org/
Appendix C: computational proofs
Appendix E: toolchain and reproducibility