论文部分内容阅读
本文简述了Ａｄａ程序验证的一些经验，着重讨论了静态代码审查和模块测试。
Ada程序的验证测试
【摘 要】
：
本文简述了Ａｄａ程序验证的一些经验，着重讨论了静态代码审查和模块测试。
【出 处】
：
航空电子技术
【发表日期】
：
1994年4期
其他文献
近年来,学术剽窃与学术腐败行为屡屡出现,各高校都在积极探索行之有效的解决办法,制订相关的学术道德规范文件.沈阳药科大学对药学研究生学术道德规范体系的构建进行了有益的
新一代飞机将要求航空电子设备能以更小的体积提供更为优越的系统性能。这一要求导致在各级电子包装上产生高的功率密度。由于没有新的热管理方法，元件结温将显著升高，从而导致
流动党员教育管理工作是整个党员队伍建设的有机组成部分，是我国改革开放和市场经济条件下党建工作面临的新的重大课题，也是现阶段各级党组织力求攻克的一大难题。高校流动党员
本文就"民营经济发展与民族自治地方全面建设小康社会研讨会"的有关民营经济在我国民族地区的社会发展中的地位与作用,以及存在的问题和对策建议等方面作了概要阐述,指出,民
目的 探讨提高老年人重型颅脑损伤的手术治疗水平.方法 对62例老年人重型颅脑损伤的手术治疗进行总结分析.结果 按GOS标准判断,良好33例,轻残10例,植物生存3例,死亡16例.结论
在调试功能复杂的航空电子系统时,除对系统的硬件功能进行调试外,还需对系统的其它功能进行全面测试,因此需要编制检机程序以完成这项工作。本文讨论了检机程序的设计特点和
由于传统的人才市场管理理念认知根深蒂固,很多人对档案管理的认知不够,没有给予重视,也没有配给相应的综合素质高的人事档案管理人员,同时还缺乏科学合理的机构设置,从而导
积极改善营商环境，显著降低综合成本，有助于稳定市场预期，增强企业信心，保持经济运行在合理区间。改善营商环境，核心是处理好政府与市场的关系。当前，迫切需要以更大力度推进改革开
报纸
解决“三农”问题，是中国深化经济体制改革的一个系统工程，增加农民收入是核心。一要改革农村教育体制，提高农民素质；二要切实战轻农民负担；三要加快农业人口的转移；四要引导农民调