军用计算机程序设计语言

程序设计语言是提高现代军事系统“智商”的一种重要工具。程序设计语言一经选定,不仅确定了系统工程师研制具有能适应各种威胁的系统的能力,而且也会对系统实现(procurment)与所有权代价(cost)产生关键性的影响。毫不夸张地讲,今天对程序设计语言所作的判定将强烈地影响着我们军队明天的武器系统的数目与战斗力。本文首先陈述与军事系统有关的软件问題,然后逐步研究它们对专用程序设计语言的要求及评价现有语言如何满足这些要求。文章着重介绍了Ada的发展状况与国内外的反映,并预测了Ada对未来市场的冲击情况。     

Ada95层次库结构对大型软件开发支持

Ada95所提供了层次库和后扩库单元的设施不仅可以减少重编译和重测试,而且也有利于面向对象的程序设计和大型软件开发。本文将详细介绍、分析与讨论层次库的概念与设施。     

保护单元——一种面向数据的同步机制

保护单元用于封装共享数据对象并在不增加辅助任务前提下实施对这类数据对象的互斥访问。本文将对保护单元机制进行详细讨论,并将之与其它有关设施进行初步分析与比较。     

Ada95——一个功能强大的军用程序设计语言

美国国防部历时七年在ADA83基础上修订而成的Ada95语言几乎提供了现代程序设计范型及程序设计实践所需要的一切设施,它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等。本文将介绍Ada95的研制背景、修订过程,分析Ada95的主要特色。     

关于Ada95对面向对象技术的支持特征

本文首先分析了Ada83对面向对象的程序设计的支持特征,然后再对Ada95在Ada83的基础上新增加的面向对象设施进行了详细的介绍与讨论。