形式化方法的特点是什么？
正确答案:
形式化方法的主要特点是：
（1）软件需求规格说明被细化为用数学记号表达的详细的形式化规格说明；
（2）设计、实现和单元测试等开发过程由一个变换开发过程代替。通过一系列变换将形式的规格说明细化成为程序。
（1）软件需求规格说明被细化为用数学记号表达的详细的形式化规格说明；
（2）设计、实现和单元测试等开发过程由一个变换开发过程代替。通过一系列变换将形式的规格说明细化成为程序。
答案解析:有
微信扫一扫手机做题
多做题，通过考试没问题！
软件工程
软件工程
形式化方法的特点是什么？
微信扫一扫手机做题