| 查看: 186 | 回复: 2 | |||
| 当前主题已经存档。 | |||
kathyshasha木虫 (小有名气)
|
[交流]
求摘要！
|
||
|
求摘要！ 60821003/F0202 谢谢 |
回复此楼» 猜你喜欢
面上项目filecode邪修
已经有6人回复
-
应该是93bebmhtak前后十一个字符比较关键
已经有14人回复
-
2026国自然放榜时间
已经有4人回复
-
关于代码变化问题，想知道的进来
已经有22人回复
-
这样的filecode谁见过
已经有21人回复
-
filecode与中标关系的预测
已经有5人回复
-
fileCode有新解读？
已经有18人回复
-
关于filecode，很负责任的告诉大家
已经有7人回复
-
【2027博士申请】纳米药物递送方向
已经有5人回复
-
关于豆爷回答的JTJC与%2F数量
已经有7人回复
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
20