基于编译的高可信嵌入式软件开发与验证方法研究
91018009
2010
F0203.软件理论、软件工程与服务
毋国庆
重大研究计划
教授
武汉大学
50万元
代码安全性加强;编译辅助测试;可信嵌入式软件;开发框架;可信编译
2011-01-01到2011-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | Formal Specification for Compiler Based Test Case Generation of Embedded Real-Time System | 会议论文 | 陈勇|何炎祥|吴伟| |
| 2 | A Visualization Method of Requirement Checking Based on Software Behavior | 期刊论文 | Wuhan 430072|Wuhan University|WU Guoqing|LI Lin|China|WANG Jun School of Computer|Hubei|HUANG Bo|WAN Li| |
| 3 | 面向软件行为的需求模型及特性检测 | 期刊论文 | Wu Huaiguang|毋国庆|陈曙|吴怀广|万黎|Chen Shu|Wu Guoqing|Wan Li| |
| 4 | 面向行为的需求建模研究及实现 | 期刊论文 | 毋国庆|万黎|吴怀广| |
查看更多信息请先登录或注册
