eclipse2008
- 浏览: 44263 次
- 性别:
- 来自: 地球
-
文章列表
第零讲： 课程介绍
第一讲： 软件与软件开发
第二讲： 软件典型架构
第三讲： 可信软件概述
第四讲： 可信性度量
第五讲： 需求与可信
第六讲： 设计可信性：模型检查
第七讲： 代码可信分析概述(1)
第八讲： 格与不动点 JPF 使用指南
第九讲： 基于抽象解释的数据流分析
第十讲： 符号执行 定理证明：ESC/JAVA
第十一讲： 基于缺陷模式的分析 Findbugs
第十二讲： 系统软件可信性
第十三讲： 监测
http://sei.pku.edu.cn/~wqx/ase/2008/index.html
- 2009-05-26 20:49
- 浏览 781
- 评论(0)
第一章 软件测试基础 第二章 软件测试计划 第三章 软件测试分析与设计 第四章 软件测试的实施 第五章 软件测试执行 第六章 软件测试结果分析与评估
- 2009-05-25 09:03
- 浏览 896
- 评论(0)
DEV396: Essentials of Rational Software Architect
- 2009-05-23 13:23
- 浏览 892
- 评论(1)
DEV275: Essentials of Visual Modeling with UML 2.0
DEV475: Mastering Object-Oriented Analysis and Design with UML 2.0
- 2009-05-22 10:36
- 浏览 893
- 评论(0)
第一章 医院信息系统概论 第二章 医院信息系统 第三章 电子病历与病历信息标准化 第四章 典型HIS系统需求分析 第五章 医院信息系统总体设计 第六章 医院信息系统开发 第七章 HIS中的医学影像信息处理系统 第八章 医学院实验室信息系统 第九章 中医药信息处理 第十章 公共卫生系统 第十一章 医学信息系统硬件平台 第十二章 信息系统的安全与运行管理
- 2009-05-21 19:24
- 浏览 1167
- 评论(0)
章次
名称
主要知识点
1
Web应用介绍及J2EE概述
Web应用、HTTP、应用服务器、多层结构、企业级应用、J2EE架构、蓝图、组件、角色、标准服务、MVC模式
2
XML基础
XML、DTD、XML Schema
3
高级XML技术
JAXP(DOM/SAX)、Xpath、XSLT
4
Ser ...
- 2009-05-21 09:57
- 浏览 923
- 评论(0)
序：软件项目管理概述
第一篇：软件项目初始
第1章 软件项目初始过程
第二篇：软件项目计划
第2章 软件项目范围计划
第3章 软件项目进度计划
第4章 软件项目成本计划
第5章 软件项目质量计划
第6章 软件项目人力资源计划
第7章 软件项目沟通计划
第8章 项目管理风险计划
第9章 软件项目合同计划
第10章 软件项目配置管理
第11章 软件项目集成计划
第三篇：软件项目执行控制
第12章 软件项目执行控制过程
第四篇：软件项目结束
第13章 软件项目结束过程
http://www.buptsse.cn/SPM/JSP/courseware.jsp
- 2009-05-20 09:25
- 浏览 845
- 评论(0)
一个关于圣斗士问题讨论的牛贴
- 博客分类：
- 其它
『天涯杂谈』 78也开贴来讲圣斗士问题~~~
http://www.tianya.cn/publicforum/content/free/1/1529106.shtml
- 2009-05-19 21:42
- 浏览 770
- 评论(0)