摘要:
第六章面向对象基础面向对象方法概述面向对象=对象+类+继承+通信面向对象的软件工程方法 1.面向对象分析 2.面向对象设计 3.面向对象编程 4.面向对象测试 5.面向对象维护面向对象基本概念对象对象是系统中用来描述客观事物的一个实体,它是构成系统的一个基本单位,由一组属性和对这组属性进行操作的一组... 阅读全文
posted @ 2015-02-05 15:18
eunicer
阅读(442)
评论(0)
推荐(0)
摘要:
第五章软件工程中的形式化方法形式化方法基本概念形式规约当规格说明用非形式化方法描述时,可称之为“规格说明”,当规格说明用形式化方法描述时,可称之为“形式规约”。形式证明与验证形式证明与验证技术主要包括模型检测和定理证明。模型检测是一种基于有限状态模型并检验该模型的性质的技术。定理证明采用逻辑公式来表... 阅读全文
posted @ 2015-02-05 11:43
eunicer
阅读(462)
评论(0)
推荐(0)

浙公网安备 33010602011771号