待验证50% 置信事实精确时间
形式化方法起源于20世纪70年代，由Tony Hoare的公理语义和Dijkstra的程序正确性理论奠基
1
来源数
50%
置信度
长期有效
时效性
2026/7/6
首次发现
来源
规范驱动开发：让AI编程告别氛围编程，代码质量更可靠
bilibiliAIToBox2026/6/29
相关事实
待验证规范驱动开发（SDD）的思想根源可追溯至1970年代的形式化方法和Dijkstra等人倡导的程序正确性证明理论71% 相似待验证复杂适应系统（CAS）理论框架由圣塔菲研究所的John Holland等学者在20世纪90年代系统化提出59% 相似待验证语言接地问题（Symbol Grounding Problem）最早由哲学家Stevan Harnad于1990年系统提出58% 相似待验证卡尼曼与阿莫斯·特沃斯基从1970年代开始系统研究人类决策中的认知偏差，最终形成了前景理论58% 相似待验证The 'Separation of Concerns' principle was first explicitly articulated by Edsger Dijkstra in 197457% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/114265API
curl https://kongchang.com/api/v1/knowledge/claims/114265MCP
get_claim(id=114265)