• 第一节 信息及其度量 • 第二节 信息系统的概念及发展 • 第三节 信息系统及管理 • 第四节 管理信息系统面临的挑战 • 第五节 信息系统的伦理

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

6.1 结构程序设计 6.2 人机界面设计 6.3 过程设计的工具 6.4 面向数据结构的设计方法 6.5 程序复杂程度的定量度量

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

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

11.1 面向对象设计的准则 11.2 启发规则 11.3 软件重用 11.4 系统分解 11.5 设计问题域子系统 11.6 设计人机交互子系统 11.7 设计任务管理子系统 11.8 设计数据管理子系统 11.9 设计类中的服务 11.10 设计关联 11.11 设计优化

• 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 小结

• 面向对象方法学概述 • 面向对象的概念 • 面向对象建模 • 对象模型 • 动态模型 • 功能模型 • 3种模型之间的关系

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