3 papers
cs.SE2026
Fifty Years of Specification Completeness: What Aviation Certification Tells AI Governance About Epoch Limits, Proof Surfaces, and the Structural Gap
Christo Zietsman
Aviation software certification has operationalised three structural requirements for governed software systems since 1992: structured governance linkage between governing specific…
cs.SE2026
Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework
Christo Zietsman
AI governance programmes increasingly rely on natural language prompts to constrain and direct AI agent behaviour. These prompts function as executable specifications: they define…
cs.SE2026
The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
Christo Zietsman
The dominant industry response to AI-generated code quality problems is to deploy AI reviewers. This paper argues that this response is structurally circular when executable specif…