摘要：
在软件工程中，通过建立精确的数学模型以及对软件模型进行分析活动后建立的方法称为软件工程中的形式化方法，包括形式规约,形式证明与验证及程序求精三方面的活动。形式规约是规格说明的形式化；形式证明与验证技术包括模型检测和定理证明；程序求精是从抽象的形式规约推演出的面向程序代码的全过程，包括时态逻辑,Z... 阅读全文
摘要：
软件需求是反映系统的外部行为或内部特性的条件或能力的文档说明，包括业务,用户,功能和非功能及系统需求，业务需求确定软件产品的发展方向,功能范围,目标客户和价值来源；用户需求仅涉及系统的外部行为；功能需求描述系统提供的功能或服务 ；非功能需求反映了应用对软件系统质量和特性的额外要求；系统需求是面向开... 阅读全文