待验证60% 置信事实精确时间
契约式编程由Bertrand Meyer在1986年随Eiffel语言提出
2
来源数
60%
置信度
长期有效
时效性
2026/7/8
首次发现
来源
Vibe Coding到AI工程化编程：Codex与Claude Code实战全解析
bilibiliai大模型工程师2026/7/6
相关事实
已验证契约式设计（Design by Contract）由Bertrand Meyer在1986年提出74% 相似待验证接口契约（Interface Contract）概念来自契约式设计（Design by Contract），由Bertrand Meyer在1980年代提出65% 相似待验证SDD（Specification-Driven Development，规范驱动开发）脱胎于契约式设计（Design by Contract）理念，最早由Bertrand Meyer在Eiffel语言中系统化提出62% 相似待验证SDD（规格驱动开发）的思想根源可追溯到1980年代Bertrand Meyer提出的'契约式设计'理念57% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/212709API
curl https://kongchang.com/api/v1/knowledge/claims/212709MCP
get_claim(id=212709)