论文部分内容阅读
如何提高软件的质量已经成为制约计算机发展的关键问题，源程序语句的使用情况是衡量软件质量最直观、最有效的方法，Ａｄａ语言是针对大型和实时嵌人式系统而设计的具有高可靠性的高级程序设计语言。该文主要介绍Ａｄａ源程序语句统计分析工具的研究情况以及该工具的设计和实现。
Ada源程序语句统计分析工具的研究与实现
【摘 要】
：
如何提高软件的质量已经成为制约计算机发展的关键问题，源程序语句的使用情况是衡量软件质量最直观、最有效的方法，Ａｄａ语言是针对大型和实时嵌人式系统而设计的具有高可靠性的高级
【机 构】
：
科工委系统工程研究所(北京)
【出 处】
：
第六次全国软件工程学术会议
【发表日期】
：
1996年期
其他文献
该文详细介绍了TETRA数字集群系统中支持的逻辑信道与物理信道，描述了系统信道复用的基本过程，并通过具体的模拟实例进行分析。
该文介绍了飞机蒙皮拉形过程数值模拟的前后置处理系统ＰＯＰＰＳ。该系统利用了现有ＣＡＤ软件造型功能，通过建立了与ＣＡＤ曲面造型系统的接口的方式生成有限元网络，采用目前在微机和工作站上广为应
随着计算机系统广泛地应用于航空电子设备和系统，其控制核心——软件的可靠性在整个系统飞行安全中的重要性起来越显著。该文简要介绍了在保证软件可靠性和质量的前提下所进行
本文介绍了CSCE的意义及应用价值,CSCE将促进教学内容和体系的改革,大大地推进教学方法的更新,解决化学实验带来的污染,它是研究未来化学实验技术发展的方向.
材料价格是影响建筑工程造价的一个重要因素，材料差价调整工作具有时间性和地区性的特点，该文结合建筑工程造价管理工作的实际，论述了在预算软件中如何处理材料调差问题，并已付诸
ＦＰＧＡ Ｅｘｐｒｅｓｓ是Ｓｙｎｏｐｓｙｓ最新推出的一种ＰＣ平台的逻辑分析、综合及优化工具，可提供Ｓｙｎｏｐｓｙｓ的逻辑综合、优化技术及高层设计方法，具有良好的Ｗｉｎｄｏｗｓ用户界面。