请输入您要查询的字词:
单词
stepwise refinement
释义
stepwise refinement
Encyclopedia
理学
形式化开发方法
释
stepwise refinement
逐步求精
基于程序开发实践提出的一种有效的程序设计方法。在20世纪70年代初由IBM公司的研究人员H.米尔斯[注](Harlan Mills)和N.沃斯[注](Niklaus Wirth)提出,后被人们拓展到更广泛的设计与开发领域,在复杂软硬件开发的实践中得到了广泛使用。又称逐步精化。
随便看
可对易性
[可]对易算符
可对易算符
可对称化性
可对称化拓扑空间
可对称化核
可对称化的
可对称化矩阵
可对称化积分方程
可对称化空间
可对称化自同态
可对角化代数群
可对角化性
可对角化的
可对角化矩阵
可对角化算子
可对角化线性变换
可对角化线性群
可对角化群概形
可对角化自同态
可导出性
可导的
可尺规作图多边形
可局部化测度
可局限性
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/8/13 17:06:04