| 查看: 146 | 回复: 2 | |||
| 当前主题已经存档。 | |||
kathyshasha木虫 (小有名气)
|
[交流]
求摘要！
|
||
|
求摘要！ 60821003/F0202 谢谢 |
回复此楼» 猜你喜欢
有时候真觉得大城市人没有县城人甚至个体户幸福
已经有9人回复
-
CSC & MSCA 博洛尼亚大学能源材料课题组博士/博士后招生｜MSCA经费充足、排名优
已经有6人回复
-
天津大学招2026.09的博士生，欢迎大家推荐交流（博导是本人）
已经有4人回复
-
同年申请2项不同项目，第1个项目里不写第2个项目的信息，可以吗
已经有3人回复
-
退学或坚持读
已经有28人回复
-
面上项目申报
已经有3人回复
-
酰胺脱乙酰基
已经有9人回复
-
博士延得我，科研能力直往上蹿
已经有7人回复
-
面上基金申报没有其他的参与者成吗
已经有5人回复
-
遇见不省心的家人很难过
已经有22人回复
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