rabbitswy

摘要： １、规格化设计的历史（附参考链接～） 1950，第一次分离，主程序和子程序的分离 产生基本的软件开发过程：分析—设计—编码—测试，使大型软件系统的开发成为可能 1975—1980，第二次分离，规格说明（Spec）和体（body）的分离 说明是类型定义和操作描述，体是操作的具体实现。 （具体的例子就是 阅读全文