Unverified50% confidenceFactExact time
Assertions can be traced back as far as 1972, to the program correctness verification method proposed by David Parnas.
1
Sources
50%
Confidence
Long-term
Relevance
9/3/2026
First Seen
Sources
Related Entities
Related Claims
VerifiedThe modular development principle originated from the information hiding principle proposed by David Parnas in 1972.70% similarUnverifiedDavid Parnas proposed the principle of Information Hiding in the 1970s.67% similarUnverified这句名言出自Knuth于1974年发表的论文《Structured Programming with go to Statements》62% similarUnverifiedHindsight bias was first systematically described by psychologist Baruch Fischhoff in 1975.62% similarUnverified形式化方法起源于20世纪70年代，由Tony Hoare的公理语义和Dijkstra的程序正确性理论奠基62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/850087API
curl https://kongchang.com/api/v1/knowledge/claims/850087MCP
get_claim(id=850087)