问答题

简答题 使用形式化方法的原因是什么?

【参考答案】

(1)高质量软件生产的要求
软件中存在的缺陷,会引起很多问题,如给客户的业务造成损失,甚至危及生命。研究表明,......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)