Unverified50% confidenceFactExact time
规范驱动开发理念可追溯到形式化方法和契约式设计的学术传统，并在BDD中通过Gherkin语言的Feature文件得到工程化落地
1
Sources
50%
Confidence
Long-term
Relevance
7/20/2026
First Seen
Sources
Related Claims
UnverifiedBDD requires developers to first write 'user stories' and 'acceptance criteria' in natural language, and then use these to drive code implementation.69% similarUnverifiedSDD（规范驱动开发）以形式化规范文档为核心，思想源头可追溯至Dijkstra的形式化方法和Hoare逻辑68% similarUnverifiedBDD's Gherkin syntax describes software behavior using a Given/When/Then structure, which is highly isomorphic to the concept of specification-driven code generation in AI programming.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)