Verified80% confidenceFactExact time
契约式设计（Design by Contract）由Bertrand Meyer在1986年提出
7
Sources
80%
Confidence
Long-term
Relevance
7/7/2026
First Seen
Sources
Claude Code工程化实战：用Harness方法写出可维护的AI代码
bilibili图灵诸葛官方号6/9/2026
Related Claims
Unverified契约式编程由Bertrand Meyer在1986年随Eiffel语言提出74% similarUnverifiedBertrand Meyer系统阐述了契约式设计（Design by Contract）理论71% similarUnverifiedSDD（规格驱动开发）的思想根源可追溯到1980年代Bertrand Meyer提出的'契约式设计'理念69% similarUnverifiedSDD（Specification-Driven Development，规范驱动开发）脱胎于契约式设计（Design by Contract）理念，最早由Bertrand Meyer在Eiffel语言中系统化提出57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/127040API
curl https://kongchang.com/api/v1/knowledge/claims/127040MCP
get_claim(id=127040)