关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2021-04-14 中国大学MOOC: 软件开发的形式化方法模型利用数学方法：（ ） 中国大学MOOC: 软件开发的形式化方法模型利用数学方法：（ ） 答案： 查看 举一反三 中国大学MOOC:形式化方法是开发大型、复杂软件的主要方法。 软件开发的形式化方法模型利用数学方法：（ ） A: 为基于计算机的系统定义了规格说明 B: 开发无缺陷的计算机系统 C: 验证计算机系统的正确性 D: 以上所有 现在常见的软件开发方法有：结构化开发方法、形式化开发方法和______开发方法等。 中国大学MOOC: 软件开发的方法有面向过程的方法、面向数据的方法、面向 （ ） 的方法、形式化方法、敏捷方法等。 形式化化方法并不能保证软件的正确性，是有助于开发高质量软件的一种手段。
