Ada应用软件基于对象的状态测试

传统的单元测试方法主要包括程序模块的结构和功能测试，本文根据Ａｄａ应用软件对象设施程序包ｐａｃｋａｇｅ的对象特点，提出一种基于对象的状态测试方法，对象的状态在这里被划分为三个层次，文中详细讨论了针对每一种状态的测试策略。     

实现Ada 9X保护对象和控制异步转移

为了更好支持实时系统中使用并行机制，Ａｄａ程序设计语言的修订标准－Ａｄａ９Ｘ扩充了Ａｄａ的任务机制模型，这些扩充需要新的实现方法，该文讨论了有关技术问题，并且概述了实现方案－ＧＮｕＡｄａ运行库，详细地讨论了两个特点：保护对象和控制异步转换，保护对象是一种数据对象，对于多任务并发存取是安全的，控制异步转换允许一个任务去响应中止当前计算的异步事件，并把控制转移到该任务中的一个恢复点。     

Ada95语言评述

Ａｄａ９５语言是在Ａｄａ８３基础上修订而成的，它几乎提供了现代程序设计范型及程序设计实践所需要的一切设施，它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等。     

Ada语言与其它语言的接口问题

本文着重讨论了Ａｄａ语言与其它语言的接口问题，提出了一种能在Ａｄａ程序中使用现存有Ｃ库和程序的方法，尤其是Ａｄａ同Ｃ并发程序的数据共享问题。本文中的大部分例子同样适用于解决在多种操作系统上的接口问题。     

静态检测Ada程序死锁的方法

文中介绍几种常用的静态检测Ａｄａ程序死锁的方法，分析了它们的适应性和不足之处，并指出ＮＰ问题和检测结果的准确性是无锁检测面临的主要问题，死锁检测仍然是一个有待进一步研究的问题。     

VAX／VMS Ada编译产品分析

Ada语言较其它高级语言具有更多的特色。Ada编译不仅产生Ada源程序(.ADA)的目标文件(.OBJ),同时还产生其它两种特有的产品,一个是拷贝源文件,另一个是编译单元文件。     

并行程序的流程图分析法

本给出一种对Ａｄａ并行程序的流程图分析法，该方法不仅给出在并行程序中，并发多任务之间相互通信的一种可视化的表示，同时可检查出地程序中存在的死锁，并能启发如何消除死锁。并行流程图在检查死锁的方便性，消除死锁的启发性，实际应用的可行性和对并行算法思想的描述性等方面明显优于已知的Ｐｅｔｒｉ网分析法。     

SSACC：一种基于软件科学法的Aad并发复杂性度量

论述了简化图符在家具设计中的作用与意义，建立了一套３８种家具图符，旨在解决家具图符没有统一标准，信息传递混乱等方面的问题，可加速ＦＣＡＤ在微机中的应用。     

Ada中实时结构的Petri网建模与分析

本文从一般时间网出发，派生出一种简单时间网，并建模了延迟，分支选择，异步选择，优先权等Ada实时结构，特别是把优先权处理为一种时间特性，这样不仅扩充了Petri网在Ada中的建模能力，同时可以更加准确刻画Ada程序行为。     

一积基于Ada的规范说明语言

本文设计了一种基于Ada的规范说明语言,该语言具有模块化机制,参量化机制,私有化机制和函数定义机制,在一个模块中可说明操作、类型和常量,函数的定义由前置条件和结果描述组成,其中允许使用量词表达式和描述符表达式。     

Ada程序的会合次序图

针对Ａｄａ程序提出了一种会合次序图，用以表达程序中的会合次序和任务的流程。同已有的其他多任务描述工具相比，更容易理解，可以用做并发程序的设计描述手段和程序理解工具。它也适用于其他具有舍并并发机构的语言。     

P—Ada：一个基于工作站机群的Ada95编译系统

Ada95语言是一种功能十分强大的高级程序设计语言,其诸多特征,例如强类型检查,数据抽象以及面向对象等,反映了现代软件工程的要求,便于程序员开发高可靠性、高可移植性的大规模实时软件系统。在并行处理方面,Ada95语言提供了任务描述机制用以支持并发程序设计。在现有的Ada95编译器中,任务机制一般都是在单机上或共享内存的多机系统上利用多线程实现的,因而在不存在共享内存的松散耦合的系统中无法使用。     

VAX／VMS Ada编译语／词法分析

一、词法分析词法分析的任务是:从左到右逐个字符地对源程序进行扫描,产生一个个的单词符号(TOKEN),把作为字符串的源程序改造成为单词符号串,程序语言的单词符号一般可分为以下几种:保留字、标识符、常数、运算符、界符。词法分析器输出的TOKEN常表     

一种实现Ada并行任务机制的新方法

本文提出了在单机上实现Ada语言的多任务的单栈存储组织的新方法。同一个任务一个栈的存储组织的方法比较,大大节省了存储空间,提高了任务环境的转接速度。     

Ada智能模拟包AISP的前向推理系统

ＡＩＳＰ是一个用Ａｄａ语言开发的智能模拟研究。本文以界面语言，知识库，推理机等几个方面详细介绍ＡＩＳＰ前向推理系统的设计及其两种应用途径；作为智能模拟包，构造军事智能模拟系统；作为专家系统工具，开发军事专家系统。     

Ada—z编译系统中的类属处理

ＡＤＡ不能将函数和过程以指针的形式在一般子程序中作为参数传递，但它却提供了类属设施，使得不仅过程和函数能够作为参数，且实现了类型参数化，即类型也可作为参数在子和程序包中传递，本文阐述了ＡＤＡ－Ｚ编译系统中类属单元实现的设计思想和方法。     

Ada软件集成开发环境的设计与实现

作者在Windows 3.0上设计开发了一个Ada软件集成环境——ASIDE,它集多种软件工具(包括编辑器、编译器及键接器)于一体,采用多窗口和菜单以及鼠标枝术,为用户编辑、调试和运行Ada源程序提供了一个良好的环境。     

时序Ada网的语言性质

在Ada网的基础上，利用时序Petri网为Ada任务程序建模，提出了时序Ada网的概念，利用时序Ada网，可以很好地反映Ada程序的公平性和原子性要求及描述程序的需求，规范，对时序Ada网的语言性质进行分析，结论表明时序Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系，有助于对程序性质的分析和验证。     

Ada编译器评估系统ACES综述

本文描述了Ａｄａ编译器评估系统ＡＣＥＳ的目的和简要历史，讨论了设计测试基准集的原则，测试集的组织和三种潜在用户，给出了终端用户如何解释运行测试集的结果，也描述了如何实现特定的语言特色及特定的优化，除了测试集本身以及帮助性能评估的工具之外，文中还简述ＡＣＥＳ所具有的对诊断系统、库管理系统、符号调试器以及运行时和编译时容量的四个评估器。     

Ada软件源代码分析器（ASCA）

论述了Ａｄａ软件源代码分析器的结构，功能以及一些特点。该工具是保证Ａｄａ软件系统质量的工具这一，可为高效地开发和维护大型，复杂的软件系统提供支持。