SDD: From Code to Contract in the Age of AI Coding Assistants

Author: Deepak Babu Piskala · Publication: arXiv
yes
Summary: 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