摘要： 本章的主要内容是软件工程中的形式化方法形式化方法基本概念 形式规约 软件规格说明是对软件系统对象，对象的操作方法，以及对象行为的描述。 当规格说明用非形式化方法描述时，可称之为“规格说明”，当规格说明用形式化方法描述时，可称之为“形式规约”。 非形式化的规格说明可用自... 阅读全文

摘要： 本章的主要内容是需求工程。以小型图书资料管理系统为例总结软件需求 《IEEE》给出了软件需求如下定义：1. 用户解决问题或达到目标所需的条件和能力；2. 系统或系统部件要满足合同、标准、规范或其他正式规定文档所需具有的条件或能力；3. 一种反映上面 1 或 2 所描述的条件或能力的文档说明。... 阅读全文