第零讲: 课程介绍
第一讲: 软件与软件开发
第二讲: 软件典型架构
第三讲: 可信软件概述
第四讲: 可信性度量
第五讲: 需求与可信
第六讲: 设计可信性:模型检查
第七讲: 代码可信分析概述(1)
第八讲: 格与不动点 JPF 使用指南
第九讲: 基于抽象解释的数据流分析
第十讲: 符号执行 定理证明:ESC/JAVA
第十一讲: 基于缺陷模式的分析 Findbugs
第十二讲: 系统软件可信性
第十三讲: 监测
http://sei.pku.edu.cn/~wqx/ase/2008/index.html
分享到:
相关推荐
图书管理系统(电子阅览室)主要提供网上的电子图书阅览平台,读者可以通过该系统阅览丰富的电子资源。在图书管理系统中,读者可以方便地对书目进行检索和阅览,足不出户便可尽览群书。图书管理系统主要提供网上的...
本文档是郑州大学高级软件工程课程的多年来期末试题,供同学参考。
北京大学计算机科学与技术系 硕士研究生课程 共有PPT 11 章节 高级软件工程01(概述、DOT与对象模型) 高级软件工程02(CORBA概述) 高级软件工程03(IDL与ORB接口) 高级软件工程04(IR、POA.)...
高级软件工程课程作业习题及详解 其中包括 软件定义 众包系统 经验型软件开发
Java高级软件工程师就业培训班课程设置,Java高级软件工程师就业培训班课程设置
2.整理自己的办公桌,保持办公环境干净整洁 3.打开电脑,顺道接一杯水,合理运用时间 4.打开各种通讯联络方式(以便公司领导同事方便联系) 5.查看今天最主要的
高级软件工程课堂题集,梳理了高级软件工程课程的课堂习题、案例分析和实例讲解。 授课单位:北京林业大学信息学院 主讲教师:杨波 适用人群:信息学院全体研究生、所有修《软件工程》课的本科生 文件类型:PPT 题集...
可作为毕设项目、课程设计、大作业、工程实训或初期项目立项。 【附加价值】: 项目具有较高的学习借鉴价值,也可直接拿来修改复刻。 对于有一定基础或热衷于研究的人来说,可以在这些基础代码上进行修改和扩展,...
://sharenow.herokuapp.com团队成员学生卡全名角色15520008 NguyễnPhúcThiênÂn 领导15520105 NguyĩnSĩĐạt 成员15520312 PhạmLêHuy 成员技术栈这是我们在信息技术大学进行的高级软件工程课程的最终项目。...
高级软件工程课程资料以及一系列配套资料!
《高级软件工程》课程大纲.pdf《高级软件工程》课程大纲.pdf《高级软件工程》课程大纲.pdf《高级软件工程》课程大纲.pdf《高级软件工程》课程大纲.pdf《高级软件工程》课程大纲.pdf
3、简述软件工程课程研究的主要内容 4、介绍目前主流的软件开发过程模型及其各自的特点 5、简述RUP软件过程模型的特点 6、简述可行性研究报告的任务、过程,介绍可能使用到的工具和方法 7、简述需求获取的方法、工具...
高级软件工程课程-平时作业-软件工程研究生一年级
研究人员期刊高级软件工程课程项目链接: :
JAVA高级软件工程师 培训笔记 学习资料 基础 重点
研究生课程高级软件工程的PPT,可能高校之间不一样,但是内容大概都是类似的,适合自学和作为参考资料,尤其是闭卷考试的话。
《高级软件工程》课程大纲.doc
《C++高级软件工程师》设置 增设WINDOWS底层开发和设计模式.市场稀缺人才 不仅仅是语言培训,注重全方位的C++工作实际需求 课程 内容 目标 课时
软件工程导论?,张海藩,清华大学出版社。 ?实用软件工程?,郑人杰等,清华大学出版社。 2.可行性研究的前提 2.1要求 主要功能: A、读者管理:管理员要为每个读者建立借阅账户,并給读者发放不同类别的借阅卡 〔...