软件工程（形式化说明技术）

（1）按照形式化的程度可以将形式化分为，非形式化，半形式化，形式化
（2）形式化的方法是描述系统性质的基于数学的技术
（3）非形式化方法的缺点：矛盾性，二义性，含糊性，不完整性，抽象层次混乱
（4）形式化方法的优点？
答：①能够简介准确的描述物理现象，对象或动作的结果
②数学特别适合于表示状态，也就是表示做什么
③数学比自然语言更适合描述详细的需求
④它准确到几乎没有二义性
⑤可以在不同的软件工程之间平滑过度
⑥它提供了高层次的手段
（5）形式化方法的去缺点？
①完整性难以保证
②由于沟通不够，可能会遗漏客户的需求
③规格说明书的撰写可能有意忽略了系统的某些特性，让设计者在选择实现的方法时有一定的自由度
④要设想出一个大型复杂的系统每一个可能场景，通常是做不到的
（6）应用形式化方法的准则？
①应该选用适当的表示方法
②应该形式化但不要过分形式化
③应该估算成本
④不应该放弃传统的开发方法
⑤应该有形式化方法顾问随时提供咨询
⑥应该建立详尽的文档
⑦不应该放弃质量标准
⑧不应该盲目依赖形式化方法
⑨应该测试测试在测试
⑩应该重用