Verum把形式方法扩大应用于嵌入式软件设计
- 详情
- 2021-09-22
- 简介
- 50KB
- 页数 1P
- 阅读 89
- 下载 31
对于软件设计而言,一条更严格的开发途径的吸引力早已显而易见:随着普通项目的软件内容和复杂度的增加,软件验证和测试要消耗更多的项目预算.形式方法--精确定义软件功能,并保证软件符合规范--提供一条很有吸引力的途径,一直是学术研究的课题.
对不起,您暂无在线预览权限,如需浏览请
立即登录热门商品
相关推荐
嵌入式软件开发平台内存管理软件设计 112KB
基于GPS导航的嵌入式软件设计与实现 2.8MB
嵌入式软件实用设计模式 475KB
基于嵌入式组件技术的图形软件设计方法 710KB
嵌入式软件可靠性设计规范汇总[9页] 56KB
嵌入式DDC控制器组态软件设计及应用 162KB
嵌入式软件可靠性设计规范汇总 80KB
数字电视机顶盒的嵌入式软件设计 203KB
数字电视机顶盒的嵌入式软件设计 46KB