第一节 概述 第二节 双组分溶液的气液平衡 第三节 蒸馏及精馏原理 第四节 双组分连续精馏塔的计算

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

5.1 设计过程 5.2 设计原理 5.3 启发规则 5.4 描绘软件结构的图形工具 5.5 面向数据流的设计方法

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

• 8.1 软件维护的定义 • 8.2 软件维护的特点 • 8.3 软件维护过程 • 8.4 软件的可维护性 • 8.5 预防性维护 • 8.6 软件再工程过程

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

7.1 编码 7.2 软件测试基础 7.3 单元测试 7.4 集成测试 7.5 确认测试 7.6 白盒测试技术 7.7 黑盒测试技术 7.8 调试 7.9 软件可靠性

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

主要讨论大跨屋盖结构风荷载的计算 包括水平风力和竖向风力的计算等

河南中医药大学：《软件工程》实验指导_实验八 Rational Rose工具的使用