高级搜索
个人中心
机构中心
退出
登录
注册
专业板块
专题板块
大众板块
高级搜索
个人中心
机构中心
退出
高级搜索
登录
注册
总分类
哲学
经济学
法学
教育学
文学
历史学
理学
工学
农学
医学
军事学
管理学
艺术学
返回总分类
首页
全部分类
全部
哲学
经济学
法学
教育学
文学
历史学
理学
工学
农学
医学
军事学
管理学
艺术学
执行学科
分支
全部
全部
1
/
1
程序变换
/
program transportation
/
program transportation
形式化开发方法
将一种程序输入变换为另一种程序输出的操作。
逐步求精
/
stepwise refinement
/
stepwise refinement
形式化开发方法
基于程序开发实践提出的一种有效的程序设计方法。在20世纪70年代初由IBM公司的研究人员H.米尔斯[注]（Harlan Mills）和N.沃斯[注]（Niklaus Wirth）提出，后被人们拓展到更广泛的设计与开发领域，在复杂软硬件开发的实践中得到了广泛使用。又称逐步精化。
< 上一页
1
下一页 >
京公网安备 11010202008139号
