什么是形式化方法？说说它产生的原因和适用的范围。

正确答案: 形式化系统开发是一个类似瀑布模型的软件开发方法，但其开发过程基于的是用形式化数学转换来将系统描述转换成一个可执行程序。
因为使用这种方法可以大大提高软件的可靠性，以及节省测试成本；这种方法主要用于可靠性要求很高的软件。

答案解析:有

微信扫一扫手机做题