Spec-Driven Development:From Code to Contract in the Age of AI Coding Assistants
Not on the map. Why?
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.
Key facts. Cited by 14 papers in the map (data through 7 Oct 2026). Builds on 1 of its 19 references that are in the map. First posted on arXiv 30 Jan 2026.
Builds on
1 of 19 references.
References · 1
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
Built on by
Citing papers per year: 2026: 14.
14 papers.
Sort:
By area:
- 2026The Productivity-Reliability Paradox: Specification-Driven Governance for AI-Augmented Software Developmentcited by 3
- 2026Bootstrapping Coding Agents: The Specification Is the Programcited by 1
- 2026Meta-Engineering Harnesses for AI-Native Software Production: A Contract-Driven Adversarial Verification Architecture with Early Deployment Reportcited by 1
- 2026Design-OS: A Specification-Driven Framework for Engineering System Design with a Control-Systems Design Casecited by 0
- 2026From Prompt to Process: a Process Taxonomy and Comparative Assessment of Frameworks Supporting AI Software Development Agentscited by 0
- 2026Complexity and Scale in AI-Assisted Workflow Management: A Federated Learning Case Studycited by 0
- 2026Measuring What a Specification Determines: A Formal Semantic-Block Model and an Execution-Judged Benchmarkcited by 0
- 2026Specification Portability Across LLM Development Agents: Cross-Agent Compatibility in Specification-Driven Software Migrationcited by 0
- 2026A Literate Programming Environment for Human and Machine Agentscited by 0
- 2026Introducing Consort: A Spec-First Agent Framework for Enforced, Test-Driven Development on Live Database Branchescited by 0
- 2026A Hybrid Dependency-Aware Framework for Task Decomposition and Dynamic Agent Generation in Oracle-to-PostgreSQL Migrationcited by 0
- 2026A Lean and Spec-Driven AI-Assisted Software Development Lifecycle for Applied AI Education: The AI-SDLC Approachcited by 0
- 2026Why Software Engineering Is Indispensable in the Age of Coding Agents7 Oct 2026
- 2026A Lean and Spec-Driven AI-Assisted Software Development Lifecycle for Applied AI Education: The AI-SDLC Approach21 Sep 2026
- 2026A Hybrid Dependency-Aware Framework for Task Decomposition and Dynamic Agent Generation in Oracle-to-PostgreSQL Migration13 Sep 2026
- 2026Introducing Consort: A Spec-First Agent Framework for Enforced, Test-Driven Development on Live Database Branches9 Sep 2026
- 2026A Literate Programming Environment for Human and Machine Agents25 Aug 2026
- 2026Specification Portability Across LLM Development Agents: Cross-Agent Compatibility in Specification-Driven Software Migration21 Aug 2026
- 2026Measuring What a Specification Determines: A Formal Semantic-Block Model and an Execution-Judged Benchmark19 Aug 2026
- 2026OSFoundry: Building and Evolving Operating Systems with Specification-Guided Agents8 Aug 2026
- 2026Complexity and Scale in AI-Assisted Workflow Management: A Federated Learning Case Study16 Jun 2026
- 2026From Prompt to Process: a Process Taxonomy and Comparative Assessment of Frameworks Supporting AI Software Development Agents3 Jun 2026
- 2026Meta-Engineering Harnesses for AI-Native Software Production: A Contract-Driven Adversarial Verification Architecture with Early Deployment Report25 May 2026
- 2026The Productivity-Reliability Paradox: Specification-Driven Governance for AI-Augmented Software Development1 May 2026
- 2026From Prompt to Process: a Process Taxonomy and Comparative Assessment of Frameworks Supporting AI Software Development Agentscited by 0
- 2026A Literate Programming Environment for Human and Machine Agentscited by 0
- 2026A Hybrid Dependency-Aware Framework for Task Decomposition and Dynamic Agent Generation in Oracle-to-PostgreSQL Migrationcited by 0
- 2026A Lean and Spec-Driven AI-Assisted Software Development Lifecycle for Applied AI Education: The AI-SDLC Approachcited by 0
- 2026OSFoundry: Building and Evolving Operating Systems with Specification-Guided Agentscited by 0
- 2026Why Software Engineering Is Indispensable in the Age of Coding Agentscited by 0
- 2026Why Software Engineering Is Indispensable in the Age of Coding Agents7 Oct 2026
- 2026A Lean and Spec-Driven AI-Assisted Software Development Lifecycle for Applied AI Education: The AI-SDLC Approach21 Sep 2026
- 2026A Hybrid Dependency-Aware Framework for Task Decomposition and Dynamic Agent Generation in Oracle-to-PostgreSQL Migration13 Sep 2026
- 2026A Literate Programming Environment for Human and Machine Agents25 Aug 2026
- 2026OSFoundry: Building and Evolving Operating Systems with Specification-Guided Agents8 Aug 2026
- 2026From Prompt to Process: a Process Taxonomy and Comparative Assessment of Frameworks Supporting AI Software Development Agents3 Jun 2026
- 2026The Productivity-Reliability Paradox: Specification-Driven Governance for AI-Augmented Software Developmentcited by 3
- 2026Bootstrapping Coding Agents: The Specification Is the Programcited by 1
- 2026Meta-Engineering Harnesses for AI-Native Software Production: A Contract-Driven Adversarial Verification Architecture with Early Deployment Reportcited by 1
- 2026Design-OS: A Specification-Driven Framework for Engineering System Design with a Control-Systems Design Casecited by 0
- 2026Complexity and Scale in AI-Assisted Workflow Management: A Federated Learning Case Studycited by 0
- 2026Measuring What a Specification Determines: A Formal Semantic-Block Model and an Execution-Judged Benchmarkcited by 0
- 2026Specification Portability Across LLM Development Agents: Cross-Agent Compatibility in Specification-Driven Software Migrationcited by 0
- 2026Introducing Consort: A Spec-First Agent Framework for Enforced, Test-Driven Development on Live Database Branchescited by 0
- 2026Introducing Consort: A Spec-First Agent Framework for Enforced, Test-Driven Development on Live Database Branches9 Sep 2026
- 2026Specification Portability Across LLM Development Agents: Cross-Agent Compatibility in Specification-Driven Software Migration21 Aug 2026
- 2026Measuring What a Specification Determines: A Formal Semantic-Block Model and an Execution-Judged Benchmark19 Aug 2026
- 2026Complexity and Scale in AI-Assisted Workflow Management: A Federated Learning Case Study16 Jun 2026
- 2026Meta-Engineering Harnesses for AI-Native Software Production: A Contract-Driven Adversarial Verification Architecture with Early Deployment Report25 May 2026
- 2026The Productivity-Reliability Paradox: Specification-Driven Governance for AI-Augmented Software Development1 May 2026
- 2026Design-OS: A Specification-Driven Framework for Engineering System Design with a Control-Systems Design Case20 Mar 2026
- 2026Bootstrapping Coding Agents: The Specification Is the Program18 Mar 2026