阅读和了解什么是形式化方法【软件工程】
-
形式化⽅法定义
⽤于开发计算机系统的形式化⽅法是描述系统性质的基于数学的技术，这样的形式化⽅法提供了⼀个框架，可以在框架中以系统的⽽不是特别的⽅式刻划、开发和验证系统。如果⼀个⽅法有良好的数学基础，那么它就是形式化的，典型地以形式化规约语⾔给出。 形式化⽅法的本质是基于数学的⽅法来描述⽬标软件系统属性的⼀种技术。不同的形式化⽅法的数学基础是不同的，有的以集合论和⼀阶谓词演算为基础，有的则以时态逻辑为基础。形式化⽅法需要形式化规约说明语⾔的⽀持。
-
形式化⽅法的分类
（1）⾯向模型的形式化⽅法。⾯向模型的⽅法通过构造⼀个数学模型来说明系统的⾏为。（2）⾯向属性的形式化⽅法。⾯向属性的⽅法通过描述⽬标软件系统的各种属性来间接定义系统⾏为。
-
形式化方法优缺点
（1）优点
形式化的规格说明可以用数学方法研究、验证，此外形式化的规格说明消除了而义性，而且它鼓励软件开发者在软件工程过程的早期阶段使用更严格的方法，从而可以减少差错。
（2）缺点
