文件名称：高级软件工程 详细课件
文件大小：9.04MB
文件格式：RAR
更新时间：2012-08-13 06:32:15
高级软件工程 详细课件
第零讲： 课程介绍 第一讲： 软件与软件开发 第二讲： 软件典型架构 第三讲： 可信软件概述 第四讲： 可信性度量 第五讲： 需求与可信 第六讲： 设计可信性：模型检查 第七讲： 代码可信分析概述(1) 第八讲： 格与不动点 JPF 使用指南 第九讲： 基于抽象解释的数据流分析第十讲： 符号执行 定理证明：ESC/JAVA 第十一讲： 基于缺陷模式的分析 Findbugs 第十二讲： 系统软件可信性 第十三讲： 监测
【文件预览】：
03可信软件概述.ppt
07代码可信分析概述(1) .ppt
08-2JPF 使用指南 .doc
05需求与可信.ppt
11-2 FindBugs.ppt
01软件与软件开发.ppt
08格与不动点 .ppt
04可信性度量.ppt
02软件典型架构.ppt
06设计可信性：模型检查.ppt
11基于缺陷模式的分析 .ppt
10-2定理证明ESCJAVA.ppt
13监测 .ppt
00课程介绍 .ppt
09基于抽象解释的数据流分析.ppt
10符号执行 .ppt