论文部分内容阅读
Hoare公理系统的非完备性
【机 构】
:
上海海港职工大学
【出 处】
:
全国软件理论与计算理论第三次学术会
【发表日期】
:
1987年期
其他文献
日前,中国民航总局在广州召开’99民航数字表/三表计量检定员培训研讨会。民航总局规划科教体改司科教处潘延铭处长介绍了民航系统计量工作现状和发展规划,中国计量科学院冯
该文首先简要说明了软件可靠性的发展历史及其重要性。而后阐明了计算机系统发生软件故障的原因是由于软件内隐藏着固有的错误,并对软件可靠性的定义和可靠度增长模型做了说明
该文从以下几个方面论述了拉丝炉微机控温系统的软件结构:拉丝炉微机控温系统程序设计的基本思想和框图:系统采用热电偶做为测量元件,将热电偶输出的毫伏信号经通道转换后送给由