摘要：
第七章面向对象分析分析类在分析对象模型中，分析类是概念层次上的内容，用于描述系统中较高层次的对象。实体类：表示系统存储和管理的永久信息；边界类：表示参与者与系统之间的交互；控制类：表示系统在运行过程中的业务控制逻辑。分析活动需求分析的重点在于理解系统本身，它将需求获取阶段产生的用例和场景转换成分析模... 阅读全文
摘要：
第六章面向对象基础面向对象方法概述面向对象=对象+类+继承+通信面向对象的软件工程方法 1.面向对象分析 2.面向对象设计 3.面向对象编程 4.面向对象测试 5.面向对象维护面向对象基本概念对象对象是系统中用来描述客观事物的一个实体，它是构成系统的一个基本单位，由一组属性和对这组属性进行操作的一组... 阅读全文
摘要：
第五章软件工程中的形式化方法形式化方法基本概念形式规约当规格说明用非形式化方法描述时，可称之为“规格说明”，当规格说明用形式化方法描述时，可称之为“形式规约”。形式证明与验证形式证明与验证技术主要包括模型检测和定理证明。模型检测是一种基于有限状态模型并检验该模型的性质的技术。定理证明采用逻辑公式来表... 阅读全文