清华大学：《软件工程》课程教学资源（实例）图书管理系统_详细设计说明书

清华大学：《软件工程》课程教学资源（实例）图书管理系统_概要设计说明书

清华大学：《软件工程》课程教学资源（实例）图书管理系统_测试计划

清华大学：《软件工程》课程教学资源（实例）图书管理系统_图书管理系统测试计划

清华大学：《软件工程》课程教学资源（实例）图书管理系统_用户手册

清华大学：《软件工程》课程教学资源（电子教案）试题

形式化方法、案例 一．概述 二．有穷状态机 三．Petri网

Formal design Reviews Associated with each of documentation phases Evaluate with respect to Customer requirements Prescribed standards and practices Contractual requirements

12.1 程序设计语言 12.2 程序设计风格 12.3 测试策略 12.4 设计测试用例

Reuse (Assume have source code, not a commercial product) Ariane 5. Therac-25. British AtC Expectation Significantly lower development costs and time. Amortize costs among all users or uses Assumptions