切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
AIDTT—基于Ada的软件可靠性设计工具
AIDTT—基于Ada的软件可靠性设计工具
来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:InsideASPNET
【摘 要】
:
软件可靠性问题是计算机系统中最重要的问题之一,此文从软件避错设计的角度提出一个实用化的软件集成开发系统 。
【作 者】
:
左德承
陈德福
【机 构】
:
哈尔滨工业大学计算机系
【出 处】
:
计算机工程与设计
【发表日期】
:
1998年5期
【关键词】
:
软件可靠性
AIDTT
ADA语言
软件开发
软件工具
Software tools Reliability Fault-avoiding design of
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件可靠性问题是计算机系统中最重要的问题之一,此文从软件避错设计的角度提出一个实用化的软件集成开发系统 。
其他文献
我国噪声与振动控制技术研究新特点──记第八届全国噪声与振动控制工程学术会议学术交流
期刊
中国
噪声控制
振动控制
会议综述
基于虚拟现实技术的飞行视景仿真
飞行视景仿真是飞行仿真的一个重要组成部分,它的视觉效果和逼真程度将直接影响整个飞行模拟器的逼真度。讨论了飞行视景系统的构成、视景的生成与显示,并介绍了几种开发视景
期刊
飞行模拟器
视景仿真
虚拟现实
三角形方程组的一种分布式并行算法
提出了分布式环境下求解三角形方程组的一种新的并行算法,该算法基于将系数矩阵和右端顶分,并将其以块行卷帘方式存储在各处理器的局部存储器,利用通信与计算重叠的技术,取得了比
期刊
三角形方程组
矩阵块
线性方程组
分布式并行算法
distributed-memory triangular solver parallel algorit?
密码技术在反计算机病毒中的应用
主要介绍了密码技术在反计算机病毒中的一些应用。
期刊
计算机病毒
数字签名
密码术
密码
Computer virusDigital signatureCryptography
DCS自动控制系统软件体系的设计与实现
系统软件是衡量一个DCS自动控制系统自动化水平是否成功和运行效果的构、采取手段、实现功能等几个方面详细地论证了DCS自动控制系统软件体系的设计与实现.
期刊
DCS系统
集成
监控软件
自动控制系统
软件体系
DCS system aggregation software of monitor and control
太原将建立研发MEMS技术生产基地
一个填补我国研发MEMS(微电子机械系统)技术领域空白的生产基地将在太原建立,日前分别在太原举行了签字奠基仪式。11月16日,山西科泰纳米技术有限公司与瑞士电子与微技术中心
期刊
生产基地
压力传感器
微电子机械系统
纳米技术
生物传感器技术
技术合作
技术中心
研发
高性能
太原
农村信用体系试验区建设实践探索及影响因素分析——以江苏省为例
以江苏省各县市的农户和金融机构调查数据为基础,运用Probit计量经济模型,对影响农村信用体系建设成效发挥的相关因素进行实证分析,结果表明:农户受教育程度、对信用体系建设
期刊
农村信用体系
试验区建设
影响因素
Probit模型
科利登推出新型测试系统
科利登系统公司最近宣布,推出Kalos 2 Hex(K2 Hex)系统,该系统是用于目前和下一代非挥发性存储器和嵌入式存储器件的集成电路测试系统。K2 Hex包含增强的逻辑测试能力和先进的
期刊
推出
Kalos
集成电路测试系统
PERSONAL
科利登系统公司
非挥发性存储器
测试能力
存储器件
软件工具
嵌入式
全兼容
硬件
基于跨点导纳法识别工程结构模态参数
提出了基于环境激励下,运用跨点导纳法识别大型工程结构模态参数的一种方法。叙述了跨点导纳法理论的基本定义和原理,跨点导纳法运用结构的输出自功率谱求出结构的主频率,运用结
期刊
振动与波
环境激励
跨点导纳
工程结构
模态参数
vibration and wave ambient excitation cross-point admit
从优秀师资转移到优秀师资创生:教师发展视域下的轮岗交流研究
在推动轮岗交流常态化的背景下,如何借助优秀流动教师在薄弱校中打造一支新型的优质师资队伍,是教育均衡长效作用发挥中亟需关注的一个议题。研究发现,轮岗交流在政策层面上
期刊
教师轮岗交流
师资转移
优秀师资创生
教师发展
与本文相关的学术论文