SDD: From Code to Contract in the Age of AI Coding Assistants ↗
yesSummary: Academic paper examining formal specification approaches for AI-assisted software development, with empirical analysis of specification quality and implementation fidelity.
Editorial Notes
The most rigorous treatment of SDD in this collection. This arXiv paper provides empirical data on how specification quality correlates with AI-generated code quality, measuring implementation fidelity across different specification formats and LLM capabilities. Most useful for researchers and advanced practitioners who want evidence-based arguments for SDD adoption rather than anecdotal accounts. Skip this if you want practical guidance — read the Osmani workflow articles instead.
Source: Spec-Driven Development
Link last verified: 2026-04-07