论文部分内容阅读
本文在介绍软件可靠性概念的基础上,介绍基于代码的软件可靠性的技术研究,同时介绍Ada语言的基于代码的软件可靠性分析工具Adawise.
基于代码的软件可靠性技术研究
【摘 要】
：
本文在介绍软件可靠性概念的基础上,介绍基于代码的软件可靠性的技术研究,同时介绍Ada语言的基于代码的软件可靠性分析工具Adawise.
【机 构】
：
北京系统工程研究所三室
【出 处】
：
第十一届全国抗恶劣环境计算机学术年会
【发表日期】
：
2001年期
其他文献
混凝土结构建筑已经成为我国建筑的重要组成,对于相应的施工技术要求也较高.模板施工技术具有自身的独特应用优势,因此被广泛用于混凝土结构建筑物的施工中.施工人员在应用该
本文着重叙述了物理学的发展对军事技术革命的影响和作用,阐明了物理学对培养高技术条件下战争指挥员的科学素质和创新能力的意义.
从维修角度看，飞机因为发动机故障而紧急停场（AOG）是最糟的情况。一架飞机停飞可能会导致航空公司每天损失几万美元。虽然MRO和租赁公司都会快速响应提供帮助，但航空公司与这些公
近年来,在城市规划建设进度不断推进的过程中,也逐渐暴露出问题.实现城市规划的综合调控,推进城市规划管理体制的改革,以适应社会主义经济发展的需求,文章针对城市规划存在的
浅埋暗挖法的推广带动了地铁工程的技术发展,它也是最近十多年来发展起来的一种方法,具有灵活多变的优点.本文首先说明了浅埋暗挖及其施工步骤,然后结合具体工程案例详细阐述
文章讨论了Vxworks串口驱动程序的静态结构和动态运行过程,并提供了一个相应的串口通信示例.文中讨论的理论部分对Vxworks其它字符设备有普遍意义.
在建筑行业,建筑工程的结构抗震技术是一项十分重要的高新技术,它能有效避免和减少建筑物在地震中所遭受的损坏.本文首先介绍了建筑工程结构抗震技术的基本原理,继而阐述了建
本文从钻孔灌注桩技术理论、施工技术作用、准备工作、成孔钻设、清孔处理和钢筋笼的吊装、水下砼的灌注以及施工技术中需要注意的问题等等几方面来具体分析施工中的技术问题
本文介绍了一种ATA接口固态盘的硬件设计方案,分析了Flash芯片存储技术、接口电路设计以及芯片阵列的控制等,并给出了部分电路的示意图.
文中简要叙述495HR电铲回转平台的损坏情况及原因分析,重点论述使用的焊接工艺.由此,为大型电铲回转平台等重要结构件维修提供可借鉴宝贵经验.