试题详情
简答题形式化方法的特点是什么？
  • 形式化方法的主要特点是：
    （1）软件需求规格说明被细化为用数学记号表达的详细的形式化规格说明；
    （2）设计、实现和单元测试等开发过程由一个变换开发过程代替。通过一系列变换将形式的规格说明细化成为程序。

  • 关注下方微信公众号，在线模考后查看

热门试题