Ada

Ada是一种表现能力很强的通用程序设计语言,它是美国国防部为克服软件开发危机,耗费巨资,历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。与其他流行的程序设计语言不同,它不仅体现了许多现代软件的开发原理,而且将这些原理付诸实现。因此,Ada语言的使用可大大改善软件系统的 清晰性、 可靠性、 有效性、可维护性。
Ada语言框架
Ada是一种表现能力很强的通用程序设计语言,它是美国国防部为克服软件开发危机,耗费巨资,历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。与其他流行的程序设计语言不同,它不仅体现了许多现代软件的开发原理,而且将这些原理付诸实现。因此,Ada语言的使用可大大改善软件系统的 清晰性、 可靠性、 有效性、可维护性。
开发组织  美国国防部
Muen 是 Ada 语言实现的高可靠分离内核(微内核)操作系统。 概述 Muen Separation Kernel是世界上第一个被正式证明在源代码级别不包含运行时错误的开源微内核。它是由瑞士...
300Ada操作系统
PolyORB 是用于构建面向对象分布式系统的多态可重用基础架构。 PolyORB 提供了一个统一的解决方案,依靠中间件标准来构建分布式应用程序。 PolyORB 是一个开发工具套件和一个运行时...
320Ada分布式应用/网格
ACNC —— Ada 语言实现的 G 代码解析器和 CNC 控制器 构建指令 G代码查看器 在同一目录中下载和安装 GNAT 和 GtkAda 包 启动 GPS(GNAT 程序设计工作室) 打...
280Ada其他开发相关
当前共4个项目
×
寻找源码
源码描述
联系方式
提交