期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
AIDTT—基于Ada的软件可靠性设计工具
1
作者 左德承 陈德福 +1 位作者 杨楠 杨孝宗 《计算机工程与设计》 CSCD 北大核心 1998年第5期42-46,共5页
软件可靠性问题是计算机系统中最重要的问题之一，此文从软件避错设计的角度提出一个实用化的软件集成开发系统，对该系统所包含的静态分析和动态测试工具的原理进行了详细的讨论。该系统通过有效的程序内部表示形式，把软件开发、测试... 软件可靠性问题是计算机系统中最重要的问题之一，此文从软件避错设计的角度提出一个实用化的软件集成开发系统，对该系统所包含的静态分析和动态测试工具的原理进行了详细的讨论。该系统通过有效的程序内部表示形式，把软件开发、测试和维护等多种功能高度集成为有机整体。 展开更多
关键词 软件可靠性 aidtt ADA语言 软件开发 软件工具
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部