Ada语言与软件重用

详细讨论了Ａｄａ８３和Ａｄａ９５语言机制对软件重用的支持．内容涉及Ａｄａ８３的抽象数据类型、静态多态、派生类型和Ａｄａ９５的类型扩展与继承、动态多态、子库单元等．

Ada语言与Occam语言的比较

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

Ada语言回顾与展望

本文概述了 Ada 语言的研制背景与过程,讨论了 Ada 与其它语言的区别、Ada 的成就与不足,分析了 Ada 的现状并展望了 Ada 的未来。

假如使用Ada语言

介绍了Ada语言的应用现状及其前景,并通过一项实验说明Ada语言比C语言更适合于航空电子软件开发。

Ada语言实时绑定库的设计与实现

1 引言 嵌入式实时系统(下称嵌入式系统)的开发一般按照软件工程生命周期的瀑布模型来进行,并可考虑快速原型方法.在嵌入式系统的代码实现过程中,选择编程语言成为关键,因为它关系到所选语言的语言特征能否很好的支持嵌入式系统设计的6个重要准则:安全性、可靠性、适应性、简单性、可移植性和有效性[2].

Ada语言重载的分析和处理

先简要介绍了Ａｄａ语言中的３种重载现象，并给出了表达式的二叉树存储结构，随后阐述了判别重载的基本算法，即先后对表达式分析树进行自底向上和自顶向下两遍类型匹配，来取得表达式最终的惟一合法释义。

Ada语言在反坦克导弹半实物仿真中的应用

本文介绍应用Ada语言开发以VAX机实时仿真反坦克导弹弹体运动,并与导弹的数字控制器实时通讯,进行反坦克导弹半实物仿真的软件研究情况。特别叙述了用Ada实现并发过程及仿真软件与实际装置之间的同步和信息传递方面的实用技术。

基于ADA语言的递阶控制系统仿真器AHCSE

本文介绍了国家ＣＩＭＳ工程研究中心（ＣＩＭＳＥＲＣ）开发的递阶控制系统仿真器ＡＨＣＳＥ。文中首先分析了递阶控制系统的结构的特点及其一般的建模方法，在此基础上介绍ＡＨＣＳＥ基于Ａｄａ语言的递阶建模框架，结构化非语言建模环境，实时监控及动画显示功能，最后给出了国家ＣＩＭＳＥＲＣ的一个应用实例。

Ada语言在星载软件上的应用

介绍了星载软件的特点和构成 ,从提高星载软件可靠性的角度引入了高级程序设计语言———Ada语言与汇编语言的接口调用技术 。

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

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

分布式Ada语言系统的实现

基于 Ada95参考手册附录 E“分布式系统”中的思想 ,提出了实现分布式 Ada语言系统的一些概念和设计思想 ,并给出了实现分区通信子系统的具体方案 .在此基础上 ,通过一些前置处理 ,并利用已实现的分区通信子系统的接口 ,实现了分布式 Ada语言系统 .最后通过一个实例 ,具体介绍了分布式 Ada语言系统的程序设计方法 .

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

本文比较C和Ada语言的异同,探讨用Ada语言实现C语言特殊语法功能的技术。

Ada语言可并行成分的自动识别

通过对Ada95分布程序级并行性的分析,利用控制依赖性分析与数据依赖性分析,构造了一系列算法实现了该理论,使得对Ada源程序的自动并行性识别成为可能.

基于ALI的ADA语言静态分析器的研究与实现

Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件。该Ali文件中包含了丰富的有关Ada源代码的信息。该文剖析了由M1750Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实现ADA语言静态分析器的过程。

基于VectorCAST的Ada语言软件单元动态测试方法及其应用

为指导软件开发与测试人员有效开展单元测试活动,提高软件测试效率,文章以Ada语言软件单元动态测试为例,重点阐述了如何利用VectorCAST测试工具进行Ada语言软件单元动态测试的技术与方法,主要包括Ada语言软件单元测试环境的构建、桩函数设置、测试用例的编制与执行、覆盖率统计以及回归测试方法等关键内容。从各项测试工作分配比例和千行代码测试工作耗时两方面的比较分析结果表明,采用本文测试方法进行千行代码测试,其测试时间可节省23 h,测试效率提高约22%。

Ada语言在控制系统仿真中的应用

以编制解算三通道控制系统方程为例．本文对Ａｄａ语言在仿真方面的适用性进行了初步研究．

VAX/VMS Ada语言目标结构及优化分析

应用Ada语言编写出Ada源程序,通过在编译中加特定的命令词,从而产生相应的列表文件。通过阅读相应的优化前后的该列表文件,对Ada语言的各种语句、过程等相应的目标模块进行分析。在列表文件中能够看到的只能是以汇编语言写成的目标。而产生该目标的详细过程,则待分析编译程序本身方可得知。下面给出各种语句优化前后的目标结构及分析结构。

Ada语言中的实时中断处理

本文阐述了硬件中断和Ada任务间的相互作用,并叙述了Ada用于中断处理的优化实现以及任务的优先级和任务的终止等问题。

Ada语言的数据抽象方法

数据抽象方法已经成为软件系统设计和验证的极为有效的方法。近年来,抽象数据类型的形式说明得到了广泛的研究,本文在Hoare 说明抽象类型的公理方法的基础上,用Ada 的程序包定义了一个抽象数据类型的实例,并以此例讨论了抽象数据类型的正确性验证方法和步骤以及抽象类型的自动实现方法。