摘要： 软件工程概论第五章 软件工程中的形式化方法1.形式化方法基本概念 形式约束：软件规格说明是软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象，对象的性质以及操作应作为一个整体来处理。形式证明与验证：主要包括模型检验和定理证明。程序求精：是将自动推理和形式化方法相结合，从... 阅读全文