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

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

Ada95保护对象与面向数据的同步

本文详细讨论了Ａｄａ保护对象机制，分析其应用。

Ada95与面向对象的程序设计

本文首先分析了Ａｄａ８３对面向对象的程序设计的支持特征。

Ada95语言评述

Ａｄａ９５语言是在Ａｄａ８３基础上修订而成的，它几乎提供了现代程序设计范型及程序设计实践所需要的一切设施，它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等．本文介绍了Ａｄａ９５的研制背景、修订过程，讨论了Ａｄａ９５的主要特色。

ADSIM核库系统分析

本文简要介绍ADSIM核库系统的结构及功能,重点分析了核库系统的连接关系,调用方式和执行链,并与AD10模块程序库作适当比较。

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

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

Ada语言回顾与展望

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

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

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

BISE Ada 8086／8096交叉转换系统的设计与实现

本文给出了基于机器代码程序文又转换的Ａｄａ交叉转换系统的设计方法和实现细节，简述了系统的基本构成和工作过程，指出了掌握代码交叉转换技术的重要意义。该系统的成功实现，为用Ａｄａ开发单片机应用软件提供了强有力的工具。

Ada重载子程序的实现

重载子程序是Ada语言的一个新概念.本文根据我们所建立的Ada重载子程序实现模型,分析了重载对子程序实现的影响,介绍了重载子程序说明、体与调用的编译方法.

Ada语言与软件重用

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

基于C/S结构的Ada并行计算模型

在研究Ａｄａ９５并行计算语义的基础上，提出了一个基于Ｃ／Ｓ结构的Ａｄａ并行计算模型Ａｄａ－ＰＣＭ．讨论了在Ｃ／Ｓ环境下实现Ａｄａ并行计算存在的问题和解决方法．该模型不仅是研究Ａｄａ并行计算环境的基础。

Ada95层次库结构与大型软件开发

Ａｄａ９５提出了层次库和后扩库单元的概念并提供了相应的设施，对Ａｄａ８３的分别编译设施与可见性规则进行了扩充．这些扩充不仅可以减少重编译和重测试，而且也有利于把一个大系统分成若干个子系统进行开发，有利于进行面向对象的程序设计．本文对层次库的概念与设施进行了详尽的介绍。

Ada软件质量保证系统的构成框架和集成机制

本文主要探讨建造Ａｄａ软件质量保证系统应考虑的技术成分和环境的构成要素，并给出系统的原型框架。

VAX/Ada调试符号表的形式化描述

本文叙述了分析研究调试符号表(DST表)的意义和目的,介绍了DST表提供的基本信息,对由VAX/Ada生成的支持Ada源程序调试的调试信息——调试符号表进行了形式化的描述,给出了快速查询DST表的运行符号表(RST表)的数据结构。

提高Ada并发效率的一种途径

Ada的会合机制使我们能在高级语言一级上描述系统的并发活动,从而避免了在使用低级通信原语时所不可避免的问题。但由于会合机制是一种完全同步的实现机制,因此其并发效率较低。为此,本文提出:采用基于Ada保护对象的(异步)信箱机制实现Ada会合的服务模型,使之既具有会合机制的高可靠性,又能提高系统的并发度和实现效率。

Ada语法制导编辑器的设计与实现

Ada语法制导编辑器ASDE是集成化的Ada程序设计环境AWA(Ada working Assistant)的核心系统。它引导用户按照Ada的语法规则编写程序,支持自顶向下逐步求精的程序设计方法,并提供了与其它软件工具的接口,使得用户在编辑状态下就可以执行其它的系统命令。本文首先介绍ASDE所采用的模板驱动方式的语法制导编辑模型,然后详细描述了ASDE的功能、总体结构和主要实现技术。

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

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

一种实现Ada支撑程序包的方法

本文给出一种实用、有效的Ada支撑程序包的实现方法,并讨论该实现方法的技术难点以及所需要的技术支持和可能存在的问题.