# Spec-Driven Development:From Code to Contract in the Age of AI Coding Assistants

arXiv: https://arxiv.org/abs/2602.00180 · HTML: https://mlsanity.com/paper/2602.00180/

## Key facts

- Cited by 14 papers in the map (data through 14 Oct 2026).
- Builds on 1 of its 19 references that are in the map.
- First posted on arXiv 30 Jan 2026.

## Builds on (most cited first, 1 of 1)

- [Evaluating Large Language Models Trained on Code](https://mlsanity.com/paper/2107.03374/) (2021)

## Built on by (most cited first, 14 of 14)

- [The Productivity-Reliability Paradox: Specification-Driven Governance for AI-Augmented Software Development](https://mlsanity.com/paper/2605.01160/) (2026)
- [Bootstrapping Coding Agents: The Specification Is the Program](https://mlsanity.com/paper/2603.17399/) (2026)
- [Meta-Engineering Harnesses for AI-Native Software Production: A Contract-Driven Adversarial Verification Architecture with Early Deployment Report](https://mlsanity.com/paper/2605.25665/) (2026)
- [Design-OS: A Specification-Driven Framework for Engineering System Design with a Control-Systems Design Case](https://mlsanity.com/paper/2603.20151/) (2026)
- [From Prompt to Process: a Process Taxonomy and Comparative Assessment of Frameworks Supporting AI Software Development Agents](https://mlsanity.com/paper/2606.04967/) (2026)
- [Complexity and Scale in AI-Assisted Workflow Management: A Federated Learning Case Study](https://mlsanity.com/paper/2606.18425/) (2026)
- [Measuring What a Specification Determines: A Formal Semantic-Block Model and an Execution-Judged Benchmark](https://mlsanity.com/paper/2608.19475/) (2026)
- [Specification Portability Across LLM Development Agents: Cross-Agent Compatibility in Specification-Driven Software Migration](https://mlsanity.com/paper/2608.21208/) (2026)
- [A Literate Programming Environment for Human and Machine Agents](https://mlsanity.com/paper/2608.24644/) (2026)
- [Introducing Consort: A Spec-First Agent Framework for Enforced, Test-Driven Development on Live Database Branches](https://mlsanity.com/paper/2609.09671/) (2026)
- [A Hybrid Dependency-Aware Framework for Task Decomposition and Dynamic Agent Generation in Oracle-to-PostgreSQL Migration](https://mlsanity.com/paper/2609.14413/) (2026)
- [A Lean and Spec-Driven AI-Assisted Software Development Lifecycle for Applied AI Education: The AI-SDLC Approach](https://mlsanity.com/paper/2609.24348/) (2026)
- [OSFoundry: Building and Evolving Operating Systems with Specification-Guided Agents](https://mlsanity.com/paper/2609.25018/) (2026)
- [Why Software Engineering Is Indispensable in the Age of Coding Agents](https://mlsanity.com/paper/2610.10226/) (2026)

## Abstract (arXiv)

The rise of AI coding assistants has reignited interest in an old idea: what if specifications-not code-were the primary artifact of software development? Spec-driven development (SDD) inverts the traditional workflow by treating specifications as the source of truth and code as a generated or verified secondary artifact. This paper provides practitioners with a comprehensive guide to SDD, covering its principles, workflow patterns, and supporting tools. We present three levels of specification rigor-spec-first, spec-anchored, and spec-as-source-with clear guidance on when each applies. Through analysis of tools ranging from Behavior-Driven Development frameworks to modern AI-assisted toolkits like GitHub Spec Kit, we demonstrate how the spec-first philosophy maps to real implementations. We present case studies from API development, enterprise systems, and embedded software, illustrating how different domains apply SDD. We conclude with a decision framework helping practitioners determine when SDD provides value and when simpler approaches suffice.