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

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

Ada语言回顾与展望

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

并行的程序设计语言

本文介绍并行的程序设计语言的基本概念、并行执行以及功能要素。作为例子,简单地介绍了著名的并行程序语言,如Concurrent Pascal、Occam等。     

时序Ada网的语言性质

在Ada网的基础上，利用时序Petri网为Ada任务程序建模，提出了时序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语言的发展进行全面的介绍和分析。     

并行程序设计语言Occam及其运行机Transputer

本文讨论并发程序设计语言 Occam 及其运行微机 Transputer 的主要特性。Occam 用一组并行操作且通过通道通信的进程来描述外部世界,而 Transputer 作为并行处理系统的一个积木块,用 Occam 作为其互连的设计体系,将进程映射到 Transputer(网络)部件上,自动实现并行或并发处理(单机或 Transputer 网络)。     

Ada语言可重用性技术方法研究

Ada属于一种强类型通用程序设计语言,它比较适用于大型的复杂软件系统,尤其是实时和嵌入式系统。现在我国很多卫星型号软件都采用Ada语言进行开发。由于卫星使用的芯片代码区容量有限,为了实现更多的功能,提高卫星的使用率,对于代码的复用显得尤为重要。研究Ada语言的可重用性技术方法很有必要,通过对Ada语言重用性技术方法研究以及其实际应用介绍,能够更好的帮助软件开发人员以尽量少的代码来实现尽量多功能。     

Ada-I:支持保护对象继承的Ada95扩充语言

面向对象并发程序设计语言能够帮助程序员利用面向对象技术编写并发程序,从而获得面向对象技术给软件开发带来的种种好处.然而,由于继承异常现象的存在,影响了并发程序设计语言引入继承特性.Ada95语言是支持并发程序设计的面向对象语言之一,但并不支持保护对象的继承.Ada-I语言在Ada95语言的基础上进行扩充,从而支持保护对象的继承,并且避免了继承异常现象的出现.     

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

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

试评Ada语言

本文分析了Ada语言的主要成分,Ada语言在下列方面有明显的优点: 1.它有模块化的功能和精确的数据描述,从而提高了程序的可靠性; 2.它具有适当而齐全的数据结构和运算控制结构,可以面向广泛的应用领域; 3.它在语法和语义两方面都特别适合于大量应用问题,提高了程序的开发效率; 4.它是第一个与软件支撑环境结合在一起的程序设计语言。为了适应广泛的应用领域,Ada语言在简明性和程序的执行效率两方面付出了代价。     

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

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

Transputer的伴侣：Occam语言

本文介绍Occam语言概念，构成，及其应用，并举例说明。     

分布式Ada语言系统的实现

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

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

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

为什么要介绍Occam语言

Occam是INMOS公司和C.A.R Hoare一起提出的一种新的语言。它是以十四世纪哲学家William of Occam的著名公设:Occam的剃刀(Occam's Razor)命名的。该公设指出:说明全部可观察现象的最简单方法,就是最好的方法。 Occam的设计基于并发(Concurrency)和通讯(Communication)的概念,它不仅能够有效地实现今日的应用,而且也为未来的多处理机系统打下了基础,能满足第五代计算机的设计目标。     

VAX／VMS Ada语言目标结构及优化分析

应用Ada语言编写出Ada源程序,通过在编译中加特定的命令词,从而产生相应的列表文件。通过阅读相应的优化前后的该列表文件,对Ada语言的各种语句、过程等相应的目标模块进行分析。在列表文件中能够看到的只能是以汇编语言写成的目标。而产生该目标的详细过程,则待分析编译程序本身方可得知。下面给出各种语句优化前后的目标结构及分析结构。     

Occam和Ada基本并发特性初探

随着分布式并行处理系统的大量应用,相应的并发语言也随之而发展、应用。本文将从并发语言 Occam 和 Ada 的基本方面出发初步比较它们的并发特性,并指出这两种并发语言的不足。     

程序验证与Ada语言

设计Ada的目标之一旨在提供一种语言,能够促进可靠程序的生产。为获得较高的可靠性,一项重要的技术便是程序验证。本文从这一角度,评论Ada语言的设计,并就Ada程序验证提出某些具体方法。     

ADA语言和环境

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