待验证50% 置信事实精确时间
SDD（规范驱动开发）以形式化规范文档为核心，思想源头可追溯至Dijkstra的形式化方法和Hoare逻辑
1
来源数
50%
置信度
长期有效
时效性
2026/7/18
首次发现
来源
相关事实
待验证SDD（规范驱动开发）强调在生成代码前先用自然语言或结构化文档写清楚功能规范，以约束AI输出并降低幻觉导致的错误代码比例78% 相似待验证BDD借鉴了Eric Evans领域驱动设计（DDD）中的统一语言理念，通过Given-When-Then三段式结构将需求、测试和文档统一69% 相似待验证规范驱动开发理念可追溯到形式化方法和契约式设计的学术传统，并在BDD中通过Gherkin语言的Feature文件得到工程化落地68% 相似待验证领域驱动设计（DDD）提出'统一语言'概念，主张代码中的命名应与业务领域的术语保持一致67% 相似待验证BDD的核心是用自然语言描述系统行为，以Given-When-Then三段式格式编写可执行的规格说明62% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/555166API
curl https://kongchang.com/api/v1/knowledge/claims/555166MCP
get_claim(id=555166)