支撑程序包用户指南专辑 前言

<正> Ada是一种用于大型和实时嵌入式系统的设计和实现的高级语言。Ada的特点之一是其可扩充性。这不仅体现于APSE的开放式,也体现予Ada语言本身。Ada本身只定义了必需的数据结构和控制结构以及有限的高级I/O,更多的设施都可以Ada程序包的形式进行实现所允许的扩充。Ada的分别编译、库单元和程序包机制保证这种扩充可以为所有的Ada用户共享。     

Ada语言的数据抽象方法

本文旨在通过 Ada 语言来介绍程序设计的数据抽象方法,以及用此方法构造的程序的正确性验证方法和步骤,并探讨了由规范到实体的可能的自动构造方法。首先介绍什么是抽象数据类型。然后用 Ada 语言的程序包定义一个实际的抽象数据——有界整数栈,同时还简要地介绍了 Ada 的程序包结构及其定义抽象数据的类型方式。第三部分介绍了正确性验证方法和步骤并给出了有界整数栈程序包的正确性证明。第四部分讨论了从规范到包体的自动实现方法,着重介绍从抽象说明推导具体说明的方法。最后指出数据抽象方法急待解决的一些问题。     

Ada程序包及其在系统程序设计中的应用

本文从软件工程及程序设计方法学的角度分析 Ada 程序包的主要优点。作者以近期的实践为例,指出了 Ada 程序包或类似机构在系统程序设计中的应用。     

第二部分 Meridian Ada Vantage支撑程序包使用手册 第一章 如何使用Meridian Ada Vantage支撑程序包

<正> Meridian Ada Vantage(2.0版)支撑程序包由分别称之为Graphics支撑程序包和Tools Box支撑程序包的两部分组成: 第一部分 Graphics支撑程序包,由Package Graphics组成;第二部分Tools Box支撑程序包,由下列程序包组成:     

第一部分 Meridian AdaVantage支撑程序包安装手册 第一章 概述

<正> Meridian AdaVantage(2.0版)支撑程序包同Meridian公司公开发行的MeridianAdaVantage DOS环境程序包和Ada实用程序包一样,是Meridian AdaVantage(2.0版)编译程序的可选部分 Meridian AdaVantage支撑程序包由两个相互独立的部分组成:     

Pascal与Ada的比较

这是一篇比较二种语言的文章,在风格上与别的比较文章有所不同。它没有就语言各个特性分别进行比较,而是存在本质上指出了两者的异同,提出了作者自己的看法,其见解有独到之处。文中指出:虽然 Ada 以 Pascal 为基础,但它有很不相同的设计目标。Pascal 为教学设计,而 Ada 则为大型军用软件系统设计。仅当其限制不危及应用的程序设计时,Pascal 的简明性才是有益的。Ada 中作为程序包提供的改进的模块化应当成为商业开发的一个重要方面。     

其它Package的安装

<正> 3.1 安装过程安装Meridian Ada Vantage Tools Box支撑程序包之前.必须先安装MeridianAda Vantage编译程序和DOS环境程序包。本安装过程要求将Tools Box程序包安装在与装好的编译程序相同的硬盘上和相同的顶层目录下. 安装过程包括:     

Package Graphics的安装

<正> 2.1安装过程安装Meridian Ada Vantage Graphics支撑程序包之前,必须先安装MeridianAda Vantage编译程序。本安装过程要求将Graphics程序包安装在与装好的编译程序相同的硬盘上和相同的顶层目录下.     

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

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

Package Menu

<正> 一、程序包规格说明(见126页) 二、概述本程序包提供了Meridian Ada Vantage支撑程序包中最宜人的特性——菜单。本程序包可以帮助用户花费最少的努力构造出真正专业化的用户接口。本程序包提供的设施可以使用户很灵活、简单地构造出垂直式、水平式、网格状和Lotus式的菜单。标准菜单允许用户显示一系列的可选项,用户可以通过移动高亮度条选择其中的菜单     

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

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

ADA语言和环境

本文概述了Ada语言的历史和当前的研制情况,描述了Ada语言的特征,讨论了提议的Ada环境。预示Ada的使用到1995年将赶上Fortran。     

Ada语言回顾与展望

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

从软件工程看Ada程序设计语言

Ada语言是一种新的现代高级程序设计语言,它代表了现代高级程序设计语言的发展水平。本文从软件工程的角度分析了Ada语言所具有的主要特征和这些特征对软件工程的支持及贡献。目的在于更深入地认识Ada语言及其作用,促进在软件工程领域中更好地开发应用Ada语言。     

Ada的成就与不足

自美国国防部把Ada语言订为军用通用语言之后,相继有十多个国家国防部门也将Ada定为军标。我国也正掀起研究、推广普及Ada的热潮。毫无疑问,研究、普及Ada对我国软件产业,软件工程学,军用软件现代化起到了很大的推动作用。美国Brown大学教授P.Wegner在IEEE Software杂志讨论资金密集软件技术中提出“Ada的成就与不足”,对Ada标准化,Ada语言持反对态度。其基本理由Ada是软件工程、软件环境处于发展初期的产物。当今软件技术发展迅速,单为降低软件费用而标准化会阻滞技术发展。提出从Ada开发十年中汲取教益,先搞出标准化的环境和接口然后再标准化语言的思想。当然,译者深信DoD不会放弃Ada的标准化及其推行,但读此文章确能看到Ada的不足。对我们的工作也许有所补益。     

Ada语言并发机制的设计与实现

Ada语言并发机制是Ada语言区别于其他高级程序设计语言的主要特征之一。本文介绍了Ada语言并发机制的一种实现方法及其符合我们环境要求的实现策略;此外,还就如何编译含并发语句成份的Ada程序作了介绍。     

Ada程序设计环境的中间语言DIANA

DIANA是Ada编程环境中用来描述Ada程序的一种中间语言,它已被许多Ada环境所采用。本文介绍了DIANA的形成过程和设计原则,阐述了它的作用、意义和基本特征。同时,通过例子说明怎样用DIANA反映Ada的各种语言特征。     

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

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

Ada语言的发展

Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada 83,Ada 95,Ada 2005,Ada 2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析。     

时序Ada网的语言性质

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