|
|
1基本内容
Ada的出现，标志着软件工程成功地进入了国家和国际的规模。在一定意义上说，Ada还刺破了“冯.诺依曼思维模式” (Von Newman Mind-set) 的桎梏，连同Ada的 支持环境(APSE)一起，形成了新一派的所谓 Ada文化。它是迄今为止 最复杂，最完备的软件工具。 Ada语言是 美国国防部指定的 唯一的一种可用于 军用系统开发的语言，我国军方也将Ada做为军内开发标准（GJB 1383《程序设计语言Ada》）。
点击空白处退出提示
Ada
开源公司：美国国防部
作品详情
声明：本文仅代表作者观点，不代表本站立场。如果侵犯到您的合法权益，请联系我们删除侵权资源！如果遇到资源链接失效，请您通过评论或工单的方式通知管理员。未经允许，不得转载，本站所有资源文章禁止商业使用运营!
案例
服务内容全部包含:
提供智慧称重硬件+软件系统，提供整套的售后服务
支持软件自定义开发，配合企业做补贴对接
支持本地化部署，支持自定义小程序部署
服务优势:
系统功能完善，性价比高
完全自主知识产权，支持自定义功能开发
灵活的补贴策略，回收机制
可配合企业系统内部系统接入，一卡通接入
服务前需客户提供的信息:
需客户提供场地，电、网基础配套
提供微信小程序、微信支付，企业对接等
服务器我方提供/客户提供均可
具体事项按项目分析配合
ACNC —— Ada 语言实现的 G 代码解析器和 CNC 控制器 构建指令 G代码查看器 在同一目录中下载和安装 GNAT 和 GtkAda 包 启动 GPS（GNAT 程序设计工作室） 打...
Muen 是 Ada 语言实现的高可靠分离内核（微内核）操作系统。 概述 Muen Separation Kernel是世界上第一个被正式证明在源代码级别不包含运行时错误的开源微内核。它是由瑞士...
1430操作系统
PolyORB 是用于构建面向对象分布式系统的多态可重用基础架构。 PolyORB 提供了一个统一的解决方案，依靠中间件标准来构建分布式应用程序。 PolyORB 是一个开发工具套件和一个运行时...
Ada是一种表现能力很强的通用程序设计语言，它是美国国防部为克服软件开发危机，耗费巨资，历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。与其他流行的程序设计语言不同，它不仅体现了许多现代软件的开发原理，而且将这些原理付诸实现。因此，Ada语言的使用可大大改善软件系统的 清晰性、 可靠性、 有效性、可维护性。
1280
当前共5个项目
评论