AWA：一个集成化的Ada程序设计环境

本文介绍了AWA(Ada Working Assistant)系统的研制和开发.AWA是一个建立在VAX/VMS上的集成化的Ada程序设计支持环境,AWA的研制和开发大体上可分为两个部分,即构造Ada与其它一些应用软件的接口和设计一个以编辑器为核心的多级菜单驱动的、交互式的Ada程序设计环境系统.     

一个实用的Ada源级调试器的设计和实现

Ada是美国国家军用标准编程语言。近年来,我国也开展了对Ada及其开发环境的研究工作。本文首先介绍高级语言开发环境中源级符号调试器的基本原理,然后给出了一个实用性的Ada源级调试器的设计和实现关键技术。     

Ada图形用户界面的实现策略

在UNIX环境下实现Ada的图形用户界面一直是一个比较困难的问题。X/Motif Ada Bindings是一个Ada与Motif工具箱的低级接口工具集,它可用于实现Ada的图形用户界面,本文从它的解决方案、体系结构及接口机制等几个方面对此软件包的实现进行了比较深入的研究分析,并基于此软件包和现有操作平台提供了一种高效的Ada GUI实现策略。     

一个实用的Ada源级调度器的设计和实现

Ada是美国国家军用标准编程语言。近年来，。我国也开展了对Ada及其开发环境的研究工作。本文首先介绍高级语言开发环境中源级符号调试器的基本原理，然后给出了一个实用性的Ada源级调试器的设计实现关键技术。     

Ada-S系统的设计与实现

Ada语言是一个新的通用程序语言。它的诞生对于软件工程、软件生产以及软件开发环境的影响是不可低估的。Ada语言及其程序设计支持环境,集当今软件技术之大成,代表了国际上八十年代程序设计语言与软件工程支持环境的发展趋向。由于强大的用户团体的支持,Ada语言必将成为八十年代最重要的程序     

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

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

ADA语言和环境

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

VAX／VMS Ada编译系统与操作系统接口分析

VAX/VMS Ada编译系统由以下三部分组成: ·Ada 编译程序·Ada 程序库管理程序(ACS) ·Ada 运行期程序库(Ada RTL) 这三部分均建立在VAX/VMS操作系统之上,并且分别在Ada程序设计支持环境的MAPSE与KAPSE两个不同的层次上。不管在哪一个层次上实现,它们均直接得到VAX/VMS操     

Ada的成就与不足

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

试论基于Ada的PDL

本文首先讨论了PDL的历史、定义、特性与要求以及与高级语言的联系与区别,分析了研制基于Ada的PDL的必要性、应用范围、与Ada语言及软件设计方法论的关系,探讨了支撑基于Ada的PDL的工具与环境,接着简述了几个典型的基于Ada的PDL。最后讨论了一些悬而未决的问题。     

Ada中间语音Diana的原理与实观

Diana是目前国际上优选的Ada中间语言,由于其采用形式化手段描述,并具有面向Ada,面向APSE环境等特征,因而适用于Ada环境中的标准界面。     

VAX／VMS Ada编译程序的结构与功能

《Ada编译程序系统剖析》是我国七·五期间军用计算机研制计划中的主要课题之一。其目标是以VAX/VMS Ada编译程序系统的目标码为对象,搞清该系统的结构、功能、方法和接口技术。从Ada编译及其环境各方面介绍了Ada编译系统的结构、所采用的编译方法、各遍扫描的任务和相互接口、中间语言的形式、Ada任务与异常的实现以及与操作系统VMS的接口等技术。     

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

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

软件CAD：一种革命性方法

计算机辅助软件设计(软件CAD)一词意示着一种设计范例和支撑环境,其中心思想是软件结构的图形表示类似布线图,作为人的推理和自动工具的一种框架,用于分析和代码生成。革命性一词强调在软件产业中采用这种方法,对实践现状确有革命性的效果。本文源于Carleton大学开发的一个叫做Carleton嵌入式系统设计环境(CAEDE)的软件CAD实验环境的研究项目,该环境面向嵌入式系统和Ada,提供此概念的论证和用作一种研究试验台。本文所介绍的CAEDE的主要贡献在于论证了一种把与Ada有关的深刻语义和浅显语法相结合的可视范例,这种结合方式有可能使嵌入式系统设计者一边“思考Ada”,一边借助抽象机进行工作。其次的贡献是弄清了在一个支撑可视范例的环境中,Prolog是一种支持工具开发的有前途的方法。我们还概述了一些用于时态分析,性能分析和Ada骨架代码生成的实验性工具。     

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

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

一个半自动生成Ada程序的软件开发环境GFKD-AUTO

本文描述了一个半自动生成Ada程序的软件开发环境GFKD__AUTO的设计与实现。在介绍了设计思想,总体结构和界面情况之后,本文列举了该环境的主要功能,除变换子系统外,该环境还集成了查阅子系统,窗口子系统,编辑子系统(包括正文编辑和图形编辑),编译子系统和文件管理子系统,旨在用来辅助软件开发。变换子系统使用户可通过最少的干预半自动地实现从问题的自然语言描述到Ada程序的变换。     

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

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

与Ada有关的软件开发环境问题

1.引言近来选作美国国防部公共高级编程语言的 Ada 在现实中展示出先进技术的优点。诸如并行性、包块化和可见性的思想都溶于Ada 中,从而促进了大型复杂系统的开发。然而,Ada 的功能并不意味着它能独自促进这种系统的开发:诚然,Ada 允许你编写相当大型的系统,但不得不需要有软件开发环境的支撑。软件开发遇到的问题出现在三个级别上:编程级,系统合成级和管理级。     

VAX／VMS Ada异常的实现方法

程序单元的运行可能会遇到程序无法正常运行下去的出错(或例外)情况。在Ada语言中引入了异常机制,以处理程序运行中出现的这些错误或例外情况。异常机制是Ada语言程序运行期间处理异常的方法和手段,是Ada语言的一个重要特点,也是实时程序设计所要求的重要设施。本文主要讨论Ada异常机制的语义、以及VAX/VMS Ada实现这一机制使用的数据结构和实现方法。     

Ada分别编译及其实现

为了辨明并解决Ada语言分别编译所要解决的问题,我们实现了一个Ada分别编译模型,根据该模型,本文分析了Ada分别编译所需支撑设施,提出了一种实际可行的实现方案。