排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
介绍了星载软件的特点和构成,从提高星载软件可靠性的角度引入了高级程序设计语言-Ada语言与汇编语言的接口调用技术,以及使用Ada 语言开发星载软件和应用技术。 相似文献
2.
3.
Ada层次化并发软件模型的研究 总被引:1,自引:0,他引:1
姚淑珍 《北京航空航天大学学报》1998,24(4):415-417
基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率. 相似文献
4.
奚红宇 《北京航空航天大学学报》1997,23(1):12-17
介绍了一些软件的性能检测技术和检测工具,并对它们的实用性和适用性进行了讨论然后,着重讨论了Ada软件系统的并行机制,并详细分析了与软件的性能密切相关的语法现象,从而设计出合理的处理方法。 相似文献
5.
先简要介绍了Ada语言中的3种重载现象,并给出了表达式的二叉树存储结构,随后阐述了判别重载的基本算法,即先后对表达式分析树进行自底向上和自顶向下两遍类型匹配,来取得工最终的惟一合法释义,最后给出了一个例子。 相似文献
6.
军用计算机语言初论 总被引:1,自引:0,他引:1
徐宝文 《南京航空航天大学学报》1989,(2)
本文分析了军用软件在军事系统中的地位、军用软件的特点,讨论了军用软件的多语言态势及其潜在危险,回顾了军用语言的历史与现状,分析了军用语言的要求及必备的语言设施,最后简述了国内外有关Ada语言的研究与使用情况。 相似文献
7.
论述了Ada软件测试结果分析系统的功能,它的方案设计以及界面风格,此系统是集成化的Ada软件测试与分析系统中的主要工具之一,它不仅能够帮助用户分析与测试软件系统,还能对软件系统的理解和维护提供有力的支持。 相似文献
8.
9.
简要介绍了有关数据流分析的基本概念之后,较为着重地讨论了一种基于静态分析的Ada软件数据流分析方法,同时也讨论了分析过程中一些实现原理。实践结果表明,文中讨论的数据结构,实现机制与处理方法是行之有效的。 相似文献
1