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

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

西安石油大学：《软件工程 Software Engineering》课程教学资源_教学大纲

形式化方法、案例 一．概述 二．有穷状态机 三．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

10.1 面向对象分析的基本过程 10.2 需求陈述 10.3 建立对象模型 10.4 建立动态模型 10.5 建立功能模型 10.6 定义服务 10.7 小结

Fairly primitive and predictive power limited Function Points Count number of inputs and output, user interactions, external interfaces files used Assess each for complexity and multiply by a weighting factor Used to predict size or cost and to assess project productivity

2.1 可行性研究的任务 2.2 可行性研究过程 2.3 系统流程图 2.4 数据流图 2.5 数据字典 2.6 成本/效益分析 2.7 可行性研究报告书写