共查询到20条相似文献，搜索用时 15 毫秒
1.
2.
3.
4.
5.
6.
7.
8.
本文着重讨论了Ａｄａ语言与其它语言的接口问题，提出了一种能在Ａｄａ程序中使用现存有Ｃ库和程序的方法，尤其是Ａｄａ同Ｃ并发程序的数据共享问题。本文中的大部分例子同样适用于解决在多种操作系统上的接口问题。 相似文献
9.
10.
蔡建平 《计算机研究与发展》1994,31(2):10-18
本文给出了基于机器代码程序交叉转换的Ａｄａ交叉转换系统的设计方法和实现细节，简述了系统的基本构成和工作过程，指出了掌握代码交叉转换技术的重要意义。该系统的成功实现，为用Ａｄａ开发单片机应用软件提供了强有力的工具。 相似文献
11.
论述了Ａｄａ软件源代码分析器的结构，功能以及一些特点。该工具是保证Ａｄａ软件系统质量的工具这一，可为高效地开发和维护大型，复杂的软件系统提供支持。 相似文献
12.
13.
本文设计了一种基于Ada的规范说明语言,该语言具有模块化机制,参量化机制,私有化机制和函数定义机制,在一个模块中可说明操作、类型和常量,函数的定义由前置条件和结果描述组成,其中允许使用量词表达式和描述符表达式。 相似文献
14.
文中介绍几种常用的静态检测Ａｄａ程序死锁的方法，分析了它们的适应性和不足之处，并指出ＮＰ问题和检测结果的准确性是无锁检测面临的主要问题，死锁检测仍然是一个有待进一步研究的问题。 相似文献
15.
传统的单元测试方法主要包括程序模块的结构和功能测试，本文根据Ａｄａ应用软件对象设施程序包ｐａｃｋａｇｅ的对象特点，提出一种基于对象的状态测试方法，对象的状态在这里被划分为三个层次，文中详细讨论了针对每一种状态的测试策略。 相似文献
16.
沈德琪 《抗恶劣环境计算机》1996,10(5):9-18
文章描述了ＧＮＡＴ编译系统的总体结构与ＧＣＣ多语言编译系统的关系，以及该系统某些结构的细节，这篇论文可为作这次研讨会中发表的几篇论文的引论。 相似文献
17.
18.
19.
20.
一种实现Ada并行任务机制的新方法 总被引：3，自引：0，他引：3
本文提出了在单机上实现Ada语言的多任务的单栈存储组织的新方法。同一个任务一个栈的存储组织的方法比较,大大节省了存储空间,提高了任务环境的转接速度。 相似文献