请输入您要查询的字词:
单词
stepwise refinement
释义
stepwise refinement
Encyclopedia
理学
形式化开发方法
释
stepwise refinement
逐步求精
基于程序开发实践提出的一种有效的程序设计方法。在20世纪70年代初由IBM公司的研究人员H.米尔斯[注](Harlan Mills)和N.沃斯[注](Niklaus Wirth)提出,后被人们拓展到更广泛的设计与开发领域,在复杂软硬件开发的实践中得到了广泛使用。又称逐步精化。
随便看
J. Leray (1906—1998)
J. L. Foucault
J. L. Foucault, 1819—1868
J. Lhagva
J-limit
J-limitable sequence
J. Liouville
J. Liouville (1809—1882)
J. L. Koszul
J.-L. Koszul
J.-L. Koszul (1921—)
J. L. Lagrange
J. L. Lagrange (1736—1813)
J. L. Lagrange, 1736—1813
J. L. Lions
J.-L. Lions
J.-L. Lions (1928—2001)
JLP
J. L. R. d'Alembert
J. L. R. d'Alembert (1717—1783)
JLS
J. L. Tits
J. L. Tits (1930—)
J. Luroth
J. L. Walsh
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/8/19 5:08:56