-
题名Ada95——一个功能强大的军用程序设计语言
被引量:1
- 1
-
-
作者
黄曙萍
徐宝文
钟铃
-
机构
东南大学
北京信息工程学院
-
出处
《指挥控制与仿真》
1997年第2期50-52,共3页
-
文摘
美国国防部历时七年在ADA83基础上修订而成的Ada95语言几乎提供了现代程序设计范型及程序设计实践所需要的一切设施,它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等。本文将介绍Ada95的研制背景、修订过程,分析Ada95的主要特色。
-
关键词
ADA95
程序设计语言
ADA83
面向对象的程序设计
大型程序设计
并行程序设计
功能强
规格说明
系统程序设计
会合机制
-
分类号
E917
[军事]
E141.1
[军事—军队指挥学]
-
-
题名Ada语言的发展
被引量:1
- 2
-
-
作者
吴迪
徐宝文
-
机构
南京大学软件新技术国家重点实验室
南京大学计算机科学与技术系
-
出处
《计算机科学》
CSCD
北大核心
2014年第1期1-15,38,共16页
-
基金
国家自然科学基金项目(61170071)资助
-
文摘
Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada 83,Ada 95,Ada 2005,Ada 2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析。
-
关键词
ADA
程序设计语言
强类型机制
程序包
分别编译
异常处理
类属单元
面向对象程序设计
并发程序设计
契约式程序设计
大型软件开发
-
Keywords
Ada, Programming languages, Strong typing mechanism, Program packages, Separate compilation, Exception handling, Generic units, Obiect oriented programming, Concurrent program design, Programming by contracts, Large software development
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-