高级软件工程 详细课件

[{"title":"（ 16 个子文件 9.04MB ） 高级软件工程 详细课件","children":[{"title":"03可信软件概述.ppt <span style='color:#111;'> 1.13MB </span>","children":null,"spread":false},{"title":"07代码可信分析概述(1) .ppt <span style='color:#111;'> 760.50KB </span>","children":null,"spread":false},{"title":"08-2JPF 使用指南 .doc <span style='color:#111;'> 90.50KB </span>","children":null,"spread":false},{"title":"05需求与可信.ppt <span style='color:#111;'> 3.17MB </span>","children":null,"spread":false},{"title":"11-2 FindBugs.ppt <span style='color:#111;'> 397.50KB </span>","children":null,"spread":false},{"title":"01软件与软件开发.ppt <span style='color:#111;'> 634.00KB </span>","children":null,"spread":false},{"title":"08格与不动点 .ppt <span style='color:#111;'> 150.00KB </span>","children":null,"spread":false},{"title":"04可信性度量.ppt <span style='color:#111;'> 1.02MB </span>","children":null,"spread":false},{"title":"02软件典型架构.ppt <span style='color:#111;'> 2.75MB </span>","children":null,"spread":false},{"title":"06设计可信性：模型检查.ppt <span style='color:#111;'> 376.50KB </span>","children":null,"spread":false},{"title":"11基于缺陷模式的分析 .ppt <span style='color:#111;'> 479.50KB </span>","children":null,"spread":false},{"title":"10-2定理证明ESCJAVA.ppt <span style='color:#111;'> 514.50KB </span>","children":null,"spread":false},{"title":"13监测 .ppt <span style='color:#111;'> 1.74MB </span>","children":null,"spread":false},{"title":"00课程介绍 .ppt <span style='color:#111;'> 111.00KB </span>","children":null,"spread":false},{"title":"09基于抽象解释的数据流分析.ppt <span style='color:#111;'> 202.00KB </span>","children":null,"spread":false},{"title":"10符号执行 .ppt <span style='color:#111;'> 126.50KB </span>","children":null,"spread":false}],"spread":true}]