摘要： 一、规格化设计概述 规格化设计主要为程序设计提供分解、精化和抽象的手段。在撰写代码规格的过程中，需要对其组成部件进行抽象。 否则, 如果每一个组成部件都以自己特有的行为方式运转, 不同的组成部件交织在一起, 那么规格的撰写可能同软件实现一样复杂。 过程抽象和数据抽象是两种有用的抽象方法。过程抽象把一组输入映射到一组输出上, 包含了数据抽象, 并通过数据抽象的行为来定义。数据抽象提供了一组数据以及施... 阅读全文