填空题

程序正确性证明是用______来证明程序正确性的方法。

【参考答案】

数学的方法
<上一题 目录 下一题>
热门 试题

填空题
______确定了软件系统的总体结构，详细设计则对设计结果作进一步的细化，以给出目标系统的精确描述。
填空题
软件危机的产生一方面和______有关系，另一方面也和软件开发人员对软件开发的认识错误及经验不足有关。
相关试题