已验证80% 置信事实精确时间

契约式设计（Design by Contract）由Bertrand Meyer在1986年提出

7

来源数

80%

置信度

长期有效

时效性

2026/7/7

首次发现

来源

Claude Code工程化实战：用Harness方法写出可维护的AI代码

bilibili图灵诸葛官方号2026/6/9

相关事实

待验证契约式编程由Bertrand Meyer在1986年随Eiffel语言提出74% 相似待验证Bertrand Meyer系统阐述了契约式设计（Design by Contract）理论71% 相似待验证SDD（规格驱动开发）的思想根源可追溯到1980年代Bertrand Meyer提出的'契约式设计'理念69% 相似待验证SDD（Specification-Driven Development，规范驱动开发）脱胎于契约式设计（Design by Contract）理念，最早由Bertrand Meyer在Eiffel语言中系统化提出57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/127040

API

curl https://kongchang.com/api/v1/knowledge/claims/127040

MCP

get_claim(id=127040)