Expired50% confidenceFactExact time
The intellectual roots of Spec-Driven Development can be traced back to Formal Methods and Behavior-Driven Development (BDD).
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
7/2/2026
First Seen
This claim has expired. It is kept for the record and no longer describes the current state.
Valid until: 9/30/2026(expired)
Sources
AI Fully Automated Orchestration in Practice: How Software Production Costs Are Being Completely Disrupted
bilibili小天fotos11/5/2025
Related Claims
Unverified规格驱动开发的思想根源可追溯到形式化方法（Formal Methods）和契约式设计（Design by Contract）72% similarUnverifiedThe core ideas of CLAUDE.md were organized into executable engineering specifications by developer Zhang Jiayuan.67% similarUnverifiedSpec-Kit/SDD (Specification-Driven Development) constrains the boundaries of AI-generated output through structured technical specifications such as PRD documents, API contracts, and data model definitions.66% similarUnverified成熟的开发框架通常提供技能编排能力，支持条件分支、并行执行和错误重试等工作流控制逻辑66% similarVerifiedSDD（Specification-Driven Development，规范驱动开发）是当前AI编程领域被普遍认可的一种开发思想，核心理念是基于规范驱动进行编程64% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/58808API
curl https://kongchang.com/api/v1/knowledge/claims/58808MCP
get_claim(id=58808)