文档介绍
假若没有这种独立性， 就无法控制错误的恶性蔓延，而变换步骤的经验也就是一句空话。 6) 变换的设计 变换的设计过程是一种“发明”的过程。在模型具体化的变换过程中，具体实现模型的设计是开发者的职责。目前还没有相当高级的规范能自动翻译成高效程序代码的工具，这种设计“发明”，是以开发者自己对正在设计中的系统的功能和使用环境的理解，是对实现效率及进一步开发的预测等程序设计经验以及对软件开发基本原则的理解为基础的。形式化开发方法仅提供给开发者一种严格有效的思维工具和描述工具，而不能代替开发者进行变换的“发明”。 3. 特点 变换模型的特点如下： (1) 该模型只适合于软件的形式化开发方法。 (2) 必须有严格的数学理论和形式化技术支持。 (3) 缺乏相庆的支持工具， 处于手工处理方式。 (4) 尚处于研究和实验阶段， 离使用前景尚有一段距离。 (5) 对软件开发人员要求较高。 1.4 软件开发方法 软件开发方法是一种使用早已定义好的技术集及符号表示习惯来组织软件生产过程的方法。其方法一般表述成一系列的步骤， 每一步骤都与相应的技术和符号相关。 软件开发的目标是在规定的投资和时间内，开发出符合用户需求的高质量的软件。为了达到此目的，需要有成功的开发方法。 软件开发方法是克服软件危机的重要方面之一。在60年代， 由于对软件开发方法重视不够，解决软件复杂性的能力不够， 因而软件开发方法成为软件危机的原因之一。因此，自软件工程诞生以来，人们重视软件开发方法的研究，已经提出了多种软件开发方法和技术，对软件工程及软件产业的发展起到了不可估量的作用。 1.4.1结构化方法 结构化方法由结构化分析、结构化设计和结构化程序设计构成。它是一种面向数据流的开发方法。该方法简单实用， 应用较广，技术成熟。 所谓结构化分析，就是根据分解与抽象的原则，按照系统中数据处理的流程，用数据流