Ada语言的这二十年
CROSSTALK（美国国防软件工程杂志， www.crosstalkonline.org）2017年1/2月号的专题是“Software’s Greatest Hits and Misses”，其中有两篇文章回顾了从1997年取消Ada Mandate（强制要求使用Ada编程语言的美国国防部政策）以后这二十年的Ada语言。
第一篇文章的题目是“Ada: A Failure That Never Happended”。文中写道：“Ada的死亡与失败从未发生。它曾经是、并且现在还是美国国防部产生的较好成果之一。”
第二篇文章的题目是“Ada-20 Years After the Mandate” 。文中写道：“如果上世纪九十年代中期预测到21世纪将出现互操作性、特别是网络安全性等挑战，也许美国国防部的政策制定者会用另外的眼光审视Ada。Ada改变了有关国防软件工程的对话。除了别的贡献以外，Ada提升了正确性、可靠性、安全性、互操作性和架构等。”
文中列出Ada各版本的主要特色如下：
Ada83：
—Packages
—Exception Handling
—Generic Program Units
—Parallel/Concurrent Processing
—Strong Typing
Ada95：
—Object-Oriented Programming
—Other
Ada2005：
—Improvements to OO usage
—Enhanced embedded support
—Enhanced real-time support
—Enhancements supporting safety, portability and interoperability
Ada2012：
—Formal methods
—More powerful assertion mechanisms (pre- and post-conditions)
—Contract-based programming
—Memory usage enhancements
—Improvements to the container library
—More powerful use clauses
—Additional uses of incomplete types that simplify the construction of nested containers.
文中列出使用Ada的一些项目如下：
—Rosetta “Comet Chaser”
—CubeSat
—Paris-London Eurostar
—Paris Metro Line 14 (Driverless Subway line)
—U.S. and U.K. Air Traffic Control
—Cassini-Huygens Mission to Saturn
—Boeing 777 and 787
—London Victoria underground
—New York City subway
Ada语言的这二十年相关推荐
- 【历史上的今天】12 月 10 日：世界上第一位程序员诞生；Ada 语言发布；第一人称射击游戏的开拓者
整理 | 王启隆 透过「历史上的今天」,从过去看未来,从现在亦可以改变未来. 今天是 2021 年 12 月 10 日,在 120 年前的今天,瑞典国王和挪威诺贝尔基金会首次颁发了诺贝尔奖.根据诺贝尔 ...
- 【历史上的今天】3 月 25 日：Ada 语言之父诞生；第一个维基站点问世；TechTV 被收购
整理 | 王启隆 透过「历史上的今天」,从过去看未来,从现在亦可以改变未来. 今天是 2022 年 3 月 25 日,在 1998 年的今天,为迎接 2000 年这一世界性节日的到来,人民日报发起,人 ...
- Ada语言实现-水和水蒸气热力性质IAPWS-IF1997
Ada语言实现-水和水蒸气热力性质IAPWS-IF1997 对外接口文件:IF97-Interfaces.ads -- File: IF97.adswith Ada.Numerics.Generic_ ...
- Ada 语言学习（3）复合类型数据——Array
文章目录 Array 数据类型声明 数组索引 数组范围 数组复制 数组初始化 直接赋值 通过拷贝赋值 不同索引范围但长度相等 非指定类型边界收缩 多维数组 数组遍历 数组切片 访问和动态检查 直接访问 ...
- ADA语言Hello World
为什么要写关于这么古老的语言(1980年左右)的文章呢?因为我想既然mainframe用的cobol这么恶劣的语言都写了那么多了,为何不写一点我比较喜欢的语言呢?虽然除了高安全级控制和仿真领域之外AD ...
- Ada语言学习（1）Basic Knowledge
文章目录 说在前头 命名 注释 数字 变量 变量类型 signed integers Enumerations Floating Points 类型重用(继承) 类型转换 运算符 属性(Attribu ...
- Ada语言中命令行使用
Ada语言中命令行使用 要制作命令行程序,使用系统包ada.command_line .以下例程实现一个命令行程序. 命令如下:remove -iInputFileName -nCutOffNumbe ...
- Ada语言-标识符和注释
标识符 1,ada标识符是不区分大小写的,如下所示它们指向的都是同一个标识符: 2, 全以字母开头,如下: 3,以字母或数字结尾,如下: 4,可以'包含'不连续的下划线,如下: 注释 注意:在Ada中 ...
- 【Ada语言学习笔记】参考手册中文翻译及注记——语言概述
我们在Concurrent & Distributed Systems课的实验中需要用到Ada语言. 通俗而笼统地讲,Ada语言是一种描述特别详尽的语言(highly specific),因此 ...
最新文章
- 查看 -- tree
- 什么工具可以去视频去水印
- UI控件问题和XCode编译警告和错误解决方法集锦 (持续更新ing)
- Python3.7.5安装（Windows10附pip更换下载源）
- CCIE路由实验(4) -- BGP路由控制
- [css] margin和padding使用的场景有哪些？
- redis事务的简单介绍
- if是什么c语言,这个C语言是什么(if(1))？
- 项目alpha冲刺-总结
- PHP仿金蝶云ERP进销存V8网络多仓版源码
- linux mc服务器 mod_我的世界：mc有哪些不为人知的“内幕”？Hypixel停服事件的真相...
- C++对象池技术剖析
- Unity实现扫描透视效果
- Failed to start component [Connector[HTTP/1.1-20001]]报错
- 数字图像处理实验四对比度增强
- 哈斯图的画法，以及利用哈斯图寻找极大元之类
- Python 如何画出漂亮的地图？
- 为什么大学生活这么充实（累）
- 【项目记录】-上门洗车-汽车服务
- Flash媒体服务器