待验证50% 置信事实精确时间

Spec-driven development的思想根源可追溯到1970年代的瀑布模型与形式化方法

1

来源数

50%

置信度

长期有效

时效性

2026/10/10

首次发现

来源

六大AI编程智能体对决：Cursor、Devin与Claude Code谁主沉浮

涉及实体

spec-driven developmentconcept 瀑布模型concept 形式化方法concept

相关事实

待验证瀑布模型由温斯顿·罗伊斯于1970年提出，强调严格的线性阶段划分：需求分析、系统设计、编码实现、测试、部署、维护69% 相似待验证规范驱动开发（SDD）的思想根源可追溯至1970年代的形式化方法和Dijkstra等人倡导的程序正确性证明理论66% 相似待验证敏捷宣言始于2001年，敏捷开发运动曾批判瀑布模型的重前期设计、轻迭代响应65% 相似已验证心流（Flow）概念由匈牙利裔心理学家米哈里·契克森米哈伊于1975年提出63% 相似待验证世界模型的概念最早可追溯至1990年代认知科学和强化学习领域的研究62% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/994588

API

curl https://kongchang.com/api/v1/knowledge/claims/994588

MCP

get_claim(id=994588)