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

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

Ada95语言评述

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

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

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

Ada95与面向对象的程序设计

本文首先分析了Ａｄａ８３对面向对象的程序设计的支持特征，然后对Ａｄａ９５在Ａｄａ８３的基础上所新增加的面向对象设施进行了详细的介绍与讨论。     

Ada任务的结构测试

Ａｄａ语言中，任务的运行方式与顺序执行的程序的运行方式完全不同。本文重点介绍对Ａｄａ软件进行结构测试时，任务单元的一些特殊问题及其解决方法。在建立分支表示插装时，需分析任务语句的不同特点及其语法现象，按不同的情况作相应处理，从而使测试结果能真实地反映被测程序的结构特性。     

Ada软件SLICE分析器（ASA）

对程序进行分析和测试是提高软件可靠性有效途径，本文介绍的Ａｄａ软件ＳＬＩＣＥ分析器是一种对被测软件进行静态数据流分析的工具，它能缩小用户分析与检查被测程序的范围，帮助用户及时找到所关心的程序段和语句，为保证Ａｄａ软件系统的质量，提高开发与维护大型复杂软件系统的效率提供支持。     

基于群机系统的Ada编译程序

为了使Ａｄａ程序运行在松散耦合分布式系统并且降低程度员开发分布Ａｄａ的程序的工,设计并实现了基于该环境下的Ａｄａ编译程序。     

Ada语言在军用指挥仪中的应用初探

本文在对指挥仪系统技术特点进行讨论了基础上，论述了Ａｄａ应用于军用指挥仪的适用性和有效性，并就空地，空航导弹系统，给出了较了顶层的Ａｄａ解。     

分布式Ada远程子程序调用及实现

首先阐述了Ａｄａ９５分布式系统的总体设计思想。介绍了类目的概念,并着重讨论了Ａｄａ９５在分布式系统实现中最重要的远程子程序调用问题,给出了实现的方法。最后分析了一个远程过程调用的实例。     

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

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

分布式Ada语言系统的实现

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

关于Ada95变体部分等语法的修正意见

本文指出了Ａｄａ９５ 参考手册中记录变体部分、记录聚集、分情形语句与异常处理段等语法描述中存在的问题，并分别给出了它们的修正方案。     

Measurements of Ada overhead in OSI-style communications systems

A discussion is given on whether the Ada model of concurrency is suitable for implementing the seven-layer OSI reference model. Using the communications model introduced by R.J.A. Buhr (1984), they determine the overhead introduced by Ada when the model is implemented on two single-processor machines, a VAX 11/785 and a Rational 1000. The authors then calculate a lower bound on expected message delay. A novel model using server tasks is proposed and shown to have better performance. The authors investigate performance on an eight-processor Sequent Model 821 and a 14-processor Encore Multimax 320 by implementing the Buhr model, the server task model and a third model which abandons the Ada rendezvous in favor of procedure calls. They determine the Ada overhead per message as a function of the number of processors and calculate lower bounds on expected message delay attributable to Ada overhead for all three communications models     

Ada-Java编译器的研究与设计

Ｊａｖａ语言是近几年地出现的一种面向对象网络语言。     

基于网语言的Ada程序局部性质的分析和验证

旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.     

基于AdaBoost特征约减的入侵检测分类方法

提出一种基于AdaBoost的入侵特征约减算法,利用该算法约减入侵特征中的冗余特征,构造Ada-加权和Ada-域值分类器,并与支持向量机分类器进行对比。设计并实现Linux实时入侵检测实验平台,并将特征约减算法和3种分类方法应用于该平台。实验结果表明,由特征约减算法挑选出来的入侵特征集较优,Ada-加权和Ada-域值分类器的分类效果优于支持向量机分类器,且Ada-域值分类器在测试集上的检测性能最佳。     

Computer-aided software engineering and Ada -- The technological marriage of the decade

Computer-Aided Software Engineering (CASE) tools and Ada language compilers are now available for both mainframes and Personal Computers (PCs). Although CASE methodologies have existed since the early 1970s and the use of Ada has been required by the Department of Defense since 1985, only recently have CASE and Ada become of serious interest to engineers.

This paper identifies the capabilities of PC-based CASE software, the reasons for combining CASE with Ada, and the impact of CASE and Ada on research and teaching in the areas of Industrial and Computer Engineering. Based on the authors' first-hand experience, the advantages and/or disadvantages of several CASE tools and Ada environments will be discussed. Other topics addressed include the meanings of related terminology (e.g., object-oriented programming, design methodologies) and the future ramifications of CASE and Ada on the software engineering community.     

Lessons learned teaching Ada in the context of software engineering

Educators across the country are struggling with difficult issues in the teaching of Ada and its relationship to the computer science curriculum. By design, the language supports software engineering principles. Therefore, it would seem that the “natural” place for teaching Ada is within the context of software engineering. This paper reports on the author's and his students' experiences in learning and using Ada in different settings, including a software engineering project course, and a course centered on Ada and its use.     

PSS／Ada程序切片系统的设计与实现

ＰＳＳ／Ａｄａ是一个Ａｄａ程序静态切片生成系统，可广泛应用于Ａｄａ程序的测试、排错、理解、维护以及Ａｄａ软件的波动性分析、并行性检测和复杂性度量等诸方面，本文介绍ＰＳＳ／Ａｄａ系统的设计思想、系统的结构、工作原理以及系统实现的重要技术细节。