> >网站资源
．．> >图书馆:TechXchange
. . . .>> TechXchange:嵌入式软件
. . . . . .>>主题:Ada和SPARK
Ada是一种通用语言，如c++或Java，支持现代编程语言的常见特性，如数据封装、面向对象、模板(称为“泛型”)、异常和任务处理。它最初定义于1983年，经历了几次修订，最近一次是在2012年。Ada与其他通用语言的不同之处在于，它从一开始就考虑到了可靠性、安全性和安全性……
请在下面注册或登录以下载pdf格式的完整文章，包括高分辨率的图形和原理图(如适用)。
