1.1软件工程的产生1.2软件工程过程和软件生存周期1.3.pptVIP

第1章 绪论 1.2 软件工程过程和软件生存周期 1.3 软件生存周期模型 1.4 软件开发方法 1.5软件开发工具 假若没有这种独立性， 就无法控制错误的恶性蔓延，而变换步骤的经验也就是一句空话。 6) 变换的设计 变换的设计过程是一种“发明”的过程。在模型具体化的变换过程中，具体实现模型的设计是开发者的职责。目前还没有相当高级的规范能自动翻译成高效程序代码的工具，这种设计“发明”，是以开发者自己对正在设计中的系统的功能和使用环境的理解，是对实现效率及进一步开发的预测等程序设计经验以及对软件开发基本原则的理解为基础的。形式化开发方法仅提供给开发者一种严格有效的思维工具和描述工具，而不能代替开发者进行变换的“发明”。 3. 特点 变换模型的特点如下： (1) 该模型只适合于软件的形式化开发方法。 (2) 必须有严格的数学理论和形式化技术支持。 (3) 缺乏相庆的支持工具， 处于手工处理方式。 (4) 尚处于研究和实验阶段， 离使用前景尚有一段距离。 (5) 对软件开发人员要求较高。 软件开发方法是一种使用早已定义好的技术集及符号表示习惯来组织软件生产过程的方法。其方法一般表述成一系列的步骤