Unverified50% confidenceFactExact time
规范驱动开发理念可追溯到形式化方法和契约式设计的学术传统，并在BDD中通过Gherkin语言的Feature文件得到工程化落地
1
Sources
50%
Confidence
Long-term
Relevance
7/20/2026
First Seen
Sources
Related Claims
UnverifiedBDD要求开发者先用自然语言编写'用户故事'和'验收标准'，再以此驱动代码实现69% similarUnverifiedSDD（规范驱动开发）以形式化规范文档为核心，思想源头可追溯至Dijkstra的形式化方法和Hoare逻辑68% similarUnverifiedBDD 的 Gherkin 语法用 Given/When/Then 结构描述软件行为，与 AI 编程中规格驱动代码生成的理念高度同构66% similarUnverifiedBDD的核心是用自然语言描述系统行为，以Given-When-Then三段式格式编写可执行的规格说明66% similarUnverifiedDevon文档格式类似于行为驱动开发（BDD）中的Gherkin语法（Given-When-Then模式）65% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/565154API
curl https://kongchang.com/api/v1/knowledge/claims/565154MCP
get_claim(id=565154)