Unverified50% confidenceFactExact time
SDD(规范驱动开发)以形式化规范文档为核心,思想源头可追溯至Dijkstra的形式化方法和Hoare逻辑
1
Sources
50%
Confidence
Long-term
Relevance
7/18/2026
First Seen
Sources
Related Claims
UnverifiedSDD(规范驱动开发)强调在生成代码前先用自然语言或结构化文档写清楚功能规范,以约束AI输出并降低幻觉导致的错误代码比例78% similarUnverifiedBDD draws on the concept of a ubiquitous language from Eric Evans' Domain-Driven Design (DDD), unifying requirements, tests, and documentation through the Given-When-Then three-part structure.69% similarUnverified规范驱动开发理念可追溯到形式化方法和契约式设计的学术传统,并在BDD中通过Gherkin语言的Feature文件得到工程化落地68% similarUnverifiedDomain-Driven Design (DDD) introduced the concept of 'Ubiquitous Language,' advocating that naming in code should remain consistent with the terminology of the business domain.67% similarUnverifiedBDD的核心是用自然语言描述系统行为,以Given-When-Then三段式格式编写可执行的规格说明62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/555166API
curl https://kongchang.com/api/v1/knowledge/claims/555166MCP
get_claim(id=555166)