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

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

一种有效实现Ada多任务的新方法

文中提出了一种实现Ａｄａ多任务的新方法。在运行环境中，一个程序中的所有任务共享一个堆栈，并与另一种方法进行了比较。     

Ada95语言评述

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

C和Ada语言比较及C到Ada转换技术

本文比较Ｃ和Ａｄａ语言的异同，探讨用Ａｄａ语言实现Ｃ语言特殊语法功能的技术。     

基于Ada的交叉引用语言CRL/Ada

本文介绍一种基于Ａｄａ的交叉引用语言ＣＲＬ／Ａｄａ,它用于描述Ａｄａ程序实体的定义与引用信息,在软件维护的过程中,利用它可以方便地获得软件源程序中的实体信息。本文将介绍它的设计思想、程序结构与应用。     

软件开发方法与规范说明语言

本文概述并分析了几种软件开发方法和相应规范说明语言,指出了它们的主要特点和存在的问题,这些工作对我们的工作有着或多或少的影响。     

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

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

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

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

Ada语言与Occam语言的比较

一、引言过去十年在计算语言领域的重要进展之一是出现了具有并行计算能力的Ada语言和Occam语言。Ada语言是具有类似Pascal语言的控制结构,并且能重植入过程和函数的大型语言,其初始设计目标是满足美国国防部所规定的要求,即首先考虑支持适于军事装备的嵌入式编程系统。就本质而言,Ada语言是在串行语言的结构上,扩充增加了并发执行的能力。 Occam语言是和Transputer同时设计实     

时序Ada网的语言性质

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