| 查看: 155 | 回复: 2 | |||
| 当前主题已经存档。 | |||
kathyshasha木虫 (小有名气)
|
[交流]
求摘要！
|
||
|
求摘要！ 60821003/F0202 谢谢 |
回复此楼» 猜你喜欢
电气专硕320求调剂
已经有5人回复
-
一志愿西北工业大学289 085602
已经有33人回复
-
一志愿哈工大 085600 277 12材科基求调剂
已经有24人回复
-
268分085602化学工程调剂
已经有28人回复
-
化学工程调剂289
已经有50人回复
-
求调剂，262机械专硕
已经有8人回复
-
305求调剂
已经有6人回复
-
327求调剂
已经有5人回复
-
347求调剂
已经有4人回复
-
272分材料子求调剂
已经有47人回复
Ljungberg
木虫 (正式写手)
- 应助: 1 (幼儿园)
- 金币: 1865.7
- 散金: 200
- 红花: 1
- 帖子: 491
- 在线: 204.4小时
- 虫号: 441901
- 注册: 2007-10-27
- 专业: 机器人学及机器人技术
★
kathyshasha(金币+1,VIP+0):good
kathyshasha(金币+1,VIP+0):good
|
https://isis.nsfc.gov.cn/Lib/proj_summary.asp?pno=60821003 把上面地址等号后面的8位数字替换为你要查的项目编号即可 项目详情 项目编号 60821003 项目名称 可信软件的基础理论、方法和技术研究 项目类型 创新研究群体科学基金 申报学科1 (F0202) 研究性质 资助金额 500.00万元 开始日期 2009年1月1日 完成日期 2011年12月31日 项目摘要 提高软件的开发效率与产品质量一直是软件技术发展的主要目标。网络技术的快速发展，在许多方面对软件产生了重要影响。其中，人们对软件由原来以正确性为主要指标的质量要求，逐渐演变为对综合正确性、可靠性和安全性等多种指标的可信性质量需求。高可信软件及相关的开发、保障技术已成为学术界和产业界所共同关注的热点，被视为未来软件产业和信息社会发展的关键因素之一。目前，我们对软件的认识仍然存在局限，软件潜在的各种缺陷对其可信性构成了严重的威胁。基于这种现状，研究团队拟针对可信软件开展如下三个方面的研究：软件可信性的基础理论、可信软件的开发方法和技术、以及软件运行阶段的可信性保障方法，并最终建立起一套面向可信软件的基础理论、方法和技术体系。 获资助单位 北京大学(项目负责人) |
2楼2008-10-02 13:21:15
3楼2008-10-02 18:55:24
5