软件工程——第4章形式化说明技术（非重点）

本专栏是博主个人笔记，主要目的是利用碎片化的时间来记忆软工知识点，特此声明！

文章目录

1.软件工程方法划分成哪三类？并各自举例

2.形式化方法的定义？

3.非形式化的方法的缺点？

4.形式化方法的优点？

5.应用形式化方法的准则？

6.在什么情况下应该使用形式化说明技术？

章末小结

---

1.软件工程方法划分成哪三类？并各自举例

1. 非形式化：用自然语言描述需求规格说明
2. 半形式化：用数据流图或ER图建立模型
3. 形式化：利用有穷状态机表达规格说明

2.形式化方法的定义？

        所谓形式化方法，是描述系统性质的基于数学的技术，即࿱