Ada95语言评述

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

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

Ａｄａ９５提出了层次库和后扩库单元的概念提供了相应的设施，对Ａｄａ８３的分别编译设施与可见性规则进行了扩充。本文对层次库的概念与设施进行了详细的介绍、分析与讨论。     

面向对象技术在快速原型建造中的应用

本文讨论了面向对象技术在快速原型建造中的应用，提出了用面向对象技术描述事件－动物模型的实现方法，将实时需求封装成象，在实现时映射成Ａｄａ的类属程序单元，讨论了类属与面向对象技术中继承的关系，把这两种机制有机结合起来，进一步提高软件的重用性。     

分布式环境中Ada并行任务的识别和调度

给出了 Ａｄａ并行任务模块的识别算法和Ａｄａ并行任务通信开销矩阵的计算方法,在此基础上,提出了分布式环境中Ａｄａ并行任务的调度算法。     

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

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

SIGAda'98国际学术年会述评

ＳＩＧＡｄａ＇９８国际Ａｄａ语言学术年会于１９９８年１１月８日至１２日在美国首都华盛顿召开．该会议的前身是由学术界、产业界与政府三方联合召开多年的Ｔｒｉ－Ａｄａ会议．作为Ｔｒｉ－Ａｄａ会议的延续,ＳＩＧＡｄａ国际Ａｄａ语言学术年会主要由学术界负责召开...     

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

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

关于Ada并发可重用软件包的设计

文中首先分析了一般Ａｄａ顺序可重用软件包在用于开发Ａｄａ并发软件时所存在的问题，然后给出了几种可以支持并发软件开发的Ａｄａ可重用软件包的实现方案，并同时指出了各种方案的不足及可取之处。     

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

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

用Ada异常设施实现隐式调用的体系结构

基于事件的隐式调用体系结构,因其具有系统部件的松散偶合和反作用集成的特性,正受到普遍重视。基于软件体系结构原理,本文分析了面向对象的交互方式,并提出了一套用Ａｄａ异常设施实现基于事件的隐式调用的研究方法,它表明将传统程序设计语言改造成某种特定的ＡＤＬ是可能的。     

一个基于Ada的面向对象建模语言

给出了一个基于Ada的建模语言AML.AML以Ada95为基础,吸取了Ada95的基本原理和思想,利用支持建模的设施对其进行扩充,以便适用于软件建模的各个阶段.AML沿用了Ada95中的程序包概念,并将程序包作为它的核心成份,同时,沿用了Ada95的任务单元和保护单元等设施,以精确描述了软件系统中主动控制成份和资源保护成份的各种特性;AML吸取了图形化面向对象建模语言与建模方法所采用的多视点模型思想,将实体不同侧面的特征分开描述;AML利用一种新的并发模型和限制设施,有效地解决了系统的并发特性和不确定性等非功能特性的描述问题;AML有较强的可扩充性,能应用于各种应用领域.总之,AML是一个既面向用户,面向开发者,又面向系统的通用建模语言,有效地克服了现有一些建模语言在表达能力和应用范围等方面存在的诸多不足.     

HOOD方法与形式化技术的集成研究

ＨＯＯＤ是由欧洲ＥＳＡ公司开发的一种面向对象软件结构设计方法,它使用图形,结构化英语和Ａｄａ伪码来描述系统的设计规约,本文首先概述了ＨＯＯＤ方法的基本概念和对它进行的改进,然后提出了一种集成ＨＯＯＤ和形式化技术的方法,借助该方法可以获得更为严格的软件设计规约,最后简要介绍了其机器支持系统。     

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

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

面向对象类型理论的比较研究

人们已提出各种支持面向对象程序设计的类型理论。但每种类型理论的侧重点不足相同，它们均能解决面向对象程序设计的某些方面的问题。本文从对象、类、类型和继承角度，着重分析讨论抽象数据类型、记录演算和对象演算，为进一步研究关于面向对象程序设计的类型理论提供基础。     

Software CAD: a revolutionary approach

A research project is described in which an experimental software CAD environment called the Carleton embedded system design environment (CAEDE), oriented toward embedded systems and Ada, was developed to provide a demonstration of the concept and to serve as a research testbed. The major contribution of CAEDE is a demonstration of a visual paradigm which combines semantic depth and syntactic shallowness, relative to Ada, in a manner that makes it possible for the embedded-system designer to work in terms of abstract machines while still thinking Ada. A secondary contribution is the identification of Prolog as a promising approach for supporting tool development in an environment which supports the visual paradigm. Also described are experimental tools for temporal analysis, performance analysis, and the generation of skeleton Ada code     

Oracle PL/SQL面向对象特性Web应用研究

随着计算机软件技术的不断发展,面向对象的程序设计思想正在逐步取代原有的面向过程的程序设计思想。面向对象程序设计可以大大降低建立复杂应用的开销时间,已经被应用开发人员广泛接受并付诸实践。在PL/SQL中,面向对象程序设计目前是基于对象类型来完成的。文中主要探究PL/SQL对象类型在Web上的应用,提出了应用模型,并以实例加以说明。     

一种面向对象程序自动化方法的研究

构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作，本文重点讨论了开发这些操作的方法.