Unverified60% confidenceFactExact time
契约式编程由Bertrand Meyer在1986年随Eiffel语言提出
2
Sources
60%
Confidence
Long-term
Relevance
7/8/2026
First Seen
Sources
Vibe Coding到AI工程化编程：Codex与Claude Code实战全解析
bilibiliai大模型工程师7/6/2026
Related Claims
Verified契约式设计（Design by Contract）由Bertrand Meyer在1986年提出74% similarUnverifiedSDD（Specification-Driven Development，规范驱动开发）脱胎于契约式设计（Design by Contract）理念，最早由Bertrand Meyer在Eiffel语言中系统化提出62% similarUnverifiedSDD（规格驱动开发）的思想根源可追溯到1980年代Bertrand Meyer提出的'契约式设计'理念57% similarUnverifiedBertrand Meyer系统阐述了契约式设计（Design by Contract）理论55% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/212709API
curl https://kongchang.com/api/v1/knowledge/claims/212709MCP
get_claim(id=212709)