学习单元 本课程的学习单元如下: 模块 1 软件的基本概念 单元 1 计算机软件 单元 2 什么是软件工程 单元 3 软件工程的历史 单元 4 软件工程师 单元 5 软件危机 模块 2 软件开发 单元 1 软件开发概述 单元 2 软件开发生命周期模型 单元 3 模块化 单元 4 伪代码 单元 5 编程环境案例工具和 Hipo 图 模块 3 实施和测试 单元 1 实施 单元 2 测试阶段 单元 3 软件质量 单元 4 兼容性 单元 5 验证 模块 4:形式化方法 单元 1:一般信息 单元 2:形式化方法简介 单元 3:形式化方法的方法及其在软件开发中的应用 单元 4:命题 单元 5:谓词 单元 6:集合 单元 7:系列或序列