mlsanityData to 7 Oct 2026

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

arXiv 2602.00180 ↗First posted 30 Jan 2026cs.SE cs.AIcited by 14

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

  1. 2021Evaluating Large Language Models Trained on Codecited by 8,053

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2026: 14.

14 papers.

Sort:

By area:

  1. 2026The Productivity-Reliability Paradox: Specification-Driven Governance for AI-Augmented Software Developmentcited by 3
  2. 2026Bootstrapping Coding Agents: The Specification Is the Programcited by 1
  3. 2026Meta-Engineering Harnesses for AI-Native Software Production: A Contract-Driven Adversarial Verification Architecture with Early Deployment Reportcited by 1
  4. 2026Design-OS: A Specification-Driven Framework for Engineering System Design with a Control-Systems Design Casecited by 0
  5. 2026From Prompt to Process: a Process Taxonomy and Comparative Assessment of Frameworks Supporting AI Software Development Agentscited by 0
  6. 2026Complexity and Scale in AI-Assisted Workflow Management: A Federated Learning Case Studycited by 0
  7. 2026Measuring What a Specification Determines: A Formal Semantic-Block Model and an Execution-Judged Benchmarkcited by 0
  8. 2026Specification Portability Across LLM Development Agents: Cross-Agent Compatibility in Specification-Driven Software Migrationcited by 0
  9. 2026A Literate Programming Environment for Human and Machine Agentscited by 0
  10. 2026Introducing Consort: A Spec-First Agent Framework for Enforced, Test-Driven Development on Live Database Branchescited by 0
  11. 2026A Hybrid Dependency-Aware Framework for Task Decomposition and Dynamic Agent Generation in Oracle-to-PostgreSQL Migrationcited by 0
  12. 2026A Lean and Spec-Driven AI-Assisted Software Development Lifecycle for Applied AI Education: The AI-SDLC Approachcited by 0
2 more
  1. 2026OSFoundry: Building and Evolving Operating Systems with Specification-Guided Agentscited by 0
  2. 2026Why Software Engineering Is Indispensable in the Age of Coding Agentscited by 0