待验证50% 置信事实精确时间
Design by Contract（契约式设计）由Bertrand Meyer提出，核心理念是用形式化规范约束代码行为
1
来源数
50%
置信度
长期有效
时效性
2026/8/29
首次发现
来源
涉及实体
相关事实
已验证Bertrand Meyer在开发Eiffel语言时提出了「契约式设计」（Design by Contract）的概念77% 相似已验证Claude Design生成的设计资产可以直接导入Claude Code使用，实现设计与开发的无缝衔接71% 相似待验证Claude Code 采用约定优于配置的设计哲学，通过固定目录路径自动发现并注册自定义命令70% 相似待验证Claude Code's architecture embodies six key design decisions: platform approach, strict tool governance pipeline, institutionalized behavior, context compression and memory system, specialized sub-agent division of labor, and ecosystem-aware extension69% 相似待验证Claude Code的不索引代码库设计被定位为以安全为优先的设计理念68% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/817194API
curl https://kongchang.com/api/v1/knowledge/claims/817194MCP
get_claim(id=817194)