IntentSpec: Explicit Interpretation and Independent Verification for AI-Accelerated Requirements Engineering
AI coding agents can transform software requirements into implementations rapidly, but faster implementation does not guarantee correct interpretation. Conventional natural-language requirements often leave authority, ambiguity, traceability, and verification evidence implicit, while highly formal approaches may impose...