图表: 应用部分 1. 从遗留系统恢复规格说明

模块「应用部分 1. 从遗留系统恢复规格说明」中第 2 / 5 节课

您正在未登录状态下查看课程。请登录，以保存进度并参加测试。

flowchart TD
    N1["Application Part 1. Recovering Specifications from Legacy"]
    N2["Before Reading"]
    N1 --> N2
    N3["- What to Defer: Log Normalizers, Historical Replay, and File Arbitration."]
    N2 --> N3
    N4["Goal"]
    N3 --> N4

0 / 10000

笔记保存在当前浏览器中。在其他设备上将不会显示。

课程

在 Qwen Code CLI 开发中使用 SDD。应用课程

进度 0 / 95

○ 阅读材料: 应用部分 0. AgentClinic-production 实验室 🔒 图表: 应用部分 0. AgentClinic-production 实验室 🔒 学习指南: 应用部分 0. AgentClinic-production 实验室 🔒 测验: 应用部分 0. AgentClinic-production 实验室 🔒 卡片: 应用部分 0. AgentClinic-production 实验室

🔒 阅读材料: 应用部分 1. 从遗留系统恢复规格说明 ▸ 图表: 应用部分 1. 从遗留系统恢复规格说明 🔒 学习指南: 应用部分 1. 从遗留系统恢复规格说明 🔒 测验: 应用部分 1. 从遗留系统恢复规格说明 🔒 卡片: 应用部分 1. 从遗留系统恢复规格说明

🔒 阅读材料: 应用部分 2. 规范缺陷诊断 🔒 图表: 应用部分 2. 规范缺陷诊断 🔒 学习指南: 应用部分 2. 规范缺陷诊断 🔒 测验: 应用部分 2. 规范缺陷诊断 🔒 卡片: 应用部分 2. 规范缺陷诊断

🔒 阅读材料: 应用部分 3. 项目宪法：第一次规则公投 🔒 图表: 应用部分 3. 项目宪法：第一次规则公投 🔒 学习指南: 应用部分 3. 项目宪法：第一次规则公投 🔒 测验: 应用部分 3. 项目宪法：第一次规则公投 🔒 卡片: 应用部分 3. 项目宪法：第一次规则公投

🔒 阅读材料: 应用部分 4. LLM 对决：验证者与实现者在形式化命题中的较量 🔒 图表: 应用部分 4. LLM 对决：验证者与实现者在形式化命题中的较量 🔒 学习指南: 应用部分 4. LLM 对决：验证者与实现者在形式化命题中的较量 🔒 测验: 应用部分 4. LLM 对决：验证者与实现者在形式化命题中的较量 🔒 卡片: 应用部分 4. LLM 对决：验证者与实现者在形式化命题中的较量

🔒 阅读材料: 应用部分 5. 规范的变异测试 🔒 图表: 应用部分 5. 规范的变异测试 🔒 学习指南: 应用部分 5. 规范的变异测试 🔒 测验: 应用部分 5. 规范的变异测试 🔒 卡片: 应用部分 5. 规范的变异测试

🔒 阅读材料: 应用部分 6. 阴影规范的选择 🔒 图表: 应用部分 6. 阴影规范的选择 🔒 学习指南: 应用部分 6. 阴影规范的选择 🔒 测验: 应用部分 6. 阴影规范的选择 🔒 卡片: 应用部分 6. 阴影规范的选择

🔒 阅读材料: 应用部分 7. Specification CI：规范作为可执行制品 🔒 图表: 应用部分 7. Specification CI：规范作为可执行制品 🔒 学习指南: 应用部分 7. Specification CI：规范作为可执行制品 🔒 测验: 应用部分 7. Specification CI：规范作为可执行制品 🔒 卡片: 应用部分 7. Specification CI：规范作为可执行制品

🔒 阅读材料: 应用部分 8. 争议变更的文件仲裁：角色、裁决与先例 🔒 图表: 应用部分 8. 争议变更的文件仲裁：角色、裁决与先例 🔒 学习指南: 应用部分 8. 争议变更的文件仲裁：角色、裁决与先例 🔒 测验: 应用部分 8. 争议变更的文件仲裁：角色、裁决与先例 🔒 卡片: 应用部分 8. 争议变更的文件仲裁：角色、裁决与先例

🔒 阅读材料: 应用部分 9. 模型路由与令牌预算 🔒 图表: 应用部分 9. 模型路由与令牌预算 🔒 学习指南: 应用部分 9. 模型路由与令牌预算 🔒 测验: 应用部分 9. 模型路由与令牌预算 🔒 卡片: 应用部分 9. 模型路由与令牌预算

🔒 阅读材料: 应用部分 10. 防范古德哈特定律对指标的损害：守护指标与应急模式 🔒 图表: 应用部分 10. 防范古德哈特定律对指标的损害：守护指标与应急模式 🔒 学习指南: 应用部分 10. 防范古德哈特定律对指标的损害：守护指标与应急模式 🔒 测验: 应用部分 10. 防范古德哈特定律对指标的损害：守护指标与应急模式 🔒 卡片: 应用部分 10. 防范古德哈特定律对指标的损害：守护指标与应急模式

🔒 阅读材料: 实践部分 11. 与真实 API 集成：从规范到部署 🔒 图表: 实践部分 11. 与真实 API 集成：从规范到部署 🔒 学习指南: 实践部分 11. 与真实 API 集成：从规范到部署 🔒 测验: 实践部分 11. 与真实 API 集成：从规范到部署 🔒 卡片: 实践部分 11. 与真实 API 集成：从规范到部署

🔒 阅读材料: 应用部分 12. 生产 SDD 反模式：应用周期诊断图 🔒 图表: 应用部分 12. 生产 SDD 反模式：应用周期诊断图 🔒 学习指南: 应用部分 12. 生产 SDD 反模式：应用周期诊断图 🔒 测验: 应用部分 12. 生产 SDD 反模式：应用周期诊断图 🔒 卡片: 应用部分 12. 生产 SDD 反模式：应用周期诊断图

🔒 阅读材料: 应用部分 13. 实践考核：搭建生产级 SDD 流水线 🔒 图表: 应用部分 13. 实践考核：搭建生产级 SDD 流水线 🔒 学习指南: 应用部分 13. 实践考核：搭建生产级 SDD 流水线 🔒 测验: 应用部分 13. 实践考核：搭建生产级 SDD 流水线 🔒 卡片: 应用部分 13. 实践考核：搭建生产级 SDD 流水线

🔒 阅读材料: 附录 A. 与第一卷的桥梁 🔒 图表: 附录 A. 与第一卷的桥梁 🔒 学习指南: 附录 A. 与第一卷的桥梁 🔒 测验: 附录 A. 与第一卷的桥梁 🔒 卡片: 附录 A. 与第一卷的桥梁

🔒 阅读材料: 附录 B. 与 Qwen Code 的兼容性 🔒 图表: 附录 B. 与 Qwen Code 的兼容性 🔒 学习指南: 附录 B. 与 Qwen Code 的兼容性 🔒 测验: 附录 B. 与 Qwen Code 的兼容性 🔒 卡片: 附录 B. 与 Qwen Code 的兼容性

🔒 阅读材料: 附录 C. 应用型 SDD 检查清单 🔒 图表: 附录 C. 应用型 SDD 检查清单 🔒 学习指南: 附录 C. 应用型 SDD 检查清单 🔒 测验: 附录 C. 应用型 SDD 检查清单 🔒 卡片: 附录 C. 应用型 SDD 检查清单

🔒 阅读材料: 附录 D. 阈值校准 🔒 图表: 附录 D. 阈值校准 🔒 学习指南: 附录 D. 阈值校准 🔒 测验: 附录 D. 阈值校准 🔒 卡片: 附录 D. 阈值校准

🔒 阅读材料: 应用篇术语表 🔒 图表: 应用篇术语表 🔒 学习指南: 应用篇术语表 🔒 测验: 应用篇术语表 🔒 卡片: 应用篇术语表

图表: 应用部分 1. 从遗留系统恢复规格说明

我的笔记

课程菜单

课程

图表: 应用部分 1. 从遗留系统恢复规格说明

我的笔记

课程菜单

课程

1. 应用部分 0. AgentClinic-production 实验室 0 / 5

2. 应用部分 1. 从遗留系统恢复规格说明 0 / 5

3. 应用部分 2. 规范缺陷诊断 0 / 5

4. 应用部分 3. 项目宪法：第一次规则公投 0 / 5

5. 应用部分 4. LLM 对决：验证者与实现者在形式化命题中的较量 0 / 5

6. 应用部分 5. 规范的变异测试 0 / 5

7. 应用部分 6. 阴影规范的选择 0 / 5

8. 应用部分 7. Specification CI：规范作为可执行制品 0 / 5

9. 应用部分 8. 争议变更的文件仲裁：角色、裁决与先例 0 / 5

10. 应用部分 9. 模型路由与令牌预算 0 / 5

11. 应用部分 10. 防范古德哈特定律对指标的损害：守护指标与应急模式 0 / 5

12. 实践部分 11. 与真实 API 集成：从规范到部署 0 / 5

13. 应用部分 12. 生产 SDD 反模式：应用周期诊断图 0 / 5

14. 应用部分 13. 实践考核：搭建生产级 SDD 流水线 0 / 5

15. 附录 A. 与第一卷的桥梁 0 / 5

16. 附录 B. 与 Qwen Code 的兼容性 0 / 5

17. 附录 C. 应用型 SDD 检查清单 0 / 5

18. 附录 D. 阈值校准 0 / 5

19. 应用篇术语表 0 / 5