请输入您要查询的字词:
单词
stepwise refinement
释义
stepwise refinement
Encyclopedia
理学
形式化开发方法
释
stepwise refinement
逐步求精
基于程序开发实践提出的一种有效的程序设计方法。在20世纪70年代初由IBM公司的研究人员H.米尔斯[注](Harlan Mills)和N.沃斯[注](Niklaus Wirth)提出,后被人们拓展到更广泛的设计与开发领域,在复杂软硬件开发的实践中得到了广泛使用。又称逐步精化。
随便看
diagonal glide plane
diagonal group
diagonal homomorphism
diagonal horn
diagonal intersection
diagonalizability
diagonalizable
diagonalizable algebraic group
diagonalizable endomorphism
diagonalizable group scheme
diagonalizable linear group
diagonalizable linear transformation
diagonalizable matrix
diagonalizable operator
diagonalization
diagonalization; diagonal argument; diagonal method
diagonalization lemma
diagonalization method
diagonalization of quadratic form
diagonalization procedure
diagonalization process
diagonalization theorem
diagonal line
diagonal line of a matrix
diagonal loop
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/8/11 22:02:57