Unverified50% confidenceFactExact time
形式化方法起源于20世纪70年代，由Tony Hoare的公理语义和Dijkstra的程序正确性理论奠基
1
Sources
50%
Confidence
Long-term
Relevance
7/6/2026
First Seen
Sources
规范驱动开发：让AI编程告别氛围编程，代码质量更可靠
bilibiliAIToBox6/29/2026
Related Claims
Unverified规范驱动开发（SDD）的思想根源可追溯至1970年代的形式化方法和Dijkstra等人倡导的程序正确性证明理论71% similarUnverified复杂适应系统（CAS）理论框架由圣塔菲研究所的John Holland等学者在20世纪90年代系统化提出59% similarUnverified语言接地问题（Symbol Grounding Problem）最早由哲学家Stevan Harnad于1990年系统提出58% similarUnverified卡尼曼与阿莫斯·特沃斯基从1970年代开始系统研究人类决策中的认知偏差，最终形成了前景理论58% similarUnverifiedThe 'Separation of Concerns' principle was first explicitly articulated by Edsger Dijkstra in 197457% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/114265API
curl https://kongchang.com/api/v1/knowledge/claims/114265MCP
get_claim(id=114265)