逐步求精的一种模型

作     者：钟珞 管昌生 赵愚 潘昊 Zhong Luo;Guan Changsheng;Zhao Yu;Pan Hao( .,Dept.of Electric Automation,WUT,Wuhan 430070,China.)

作者机构：武汉工业大学电气自动化系 

出 版 物：《武汉工业大学学报》 

年 卷 期：1995年第17卷第3期

页      码：52-57页

摘      要：提出一种支持程序开发的结构化方法．该方法以一种简单的问题分解策略为基础，比Ｗｉｒｔｈ－Ｄｉｊｋｓｔｒａ的自顶向下逐步求精方法更利于面向目标的程序设计．由该方法可知，一个程序可经一系列求精而开发出来，每一步求精都能为相应的最弱前置条件序列建立后置条件．这种策略使情况分析减少到极限，简化了结构化程序的证明，并保证了程序结构和数据结构之间的对应．

主 题 词：面向目标 后置条件 软件开发 逐步求精 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

馆 藏 号：203147065...