Spec-Driven Development as Prescribed and as Practiced

arXiv:2608.25202 · cs.SE, cs.AI · Submitted 2026-08-25 · Read on arXiv

cs.SE, cs.AI

Submitted: 2026-08-25

Updated: 2026-10-15

Code: https://github.com/NAIST-SE/DevGPT

Terminology

• Provenance — 10× in this paper · explained in 4 episodes
• Spec-Driven Development — 6× in this paper
• Core — 2× in this paper · explained in 2 episodes
• AI Agents — 1× in this paper · explained in 2 episodes
• Scaffolding — 1× in this paper · explained in 3 episodes
• Trace — 1× in this paper · explained in 2 episodes

Sources

• The Rise of AI Teammates in Software Engineering (SE) 3.0: How Autonomous Coding Agents Are Reshaping Software Engineering

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• For Coding Agents, the Repository Matters
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation