阿达和火花

本文系列在于Techxchange.：开发高质量的软件

ADA是一种通用编程语言，它包含了高级编程功能，如合同和面向对象的编程支持。

Spark是最新版本的ADA的子集，可以正式证明是没有错误的。它利用ADA 2012年的合同支持。

我们收集了与ADA和Spark相关的文章。

ADA和Spark基础知识

• 关于Ada的11个神话
• 有什么区别：ada然后现在
• Ada和Spark之间有什么区别？
• C ++ 11和ADA 2012 - 母语语言的文艺复兴？

使用ADA合同强制编码

• ADA 2012：合同的乐趣
• 合同驱动的编程以超出石器时代的规格
• 使用合同执行有效的编码
• 问答：正式方法推向零缺陷软件
• READIEM用于错误 - 验证软件：测试和静态分析
• READIEM用于错误 - 验证软件，第2部分：通过SPARK 2014正式验证

使用ADA和Spark

• 有助于采用火花的暗示
• ADA和RISC-V安全的NVIDIA未来
• 使用ADA进行网络开发

ADA，Spark和其他语言

• 比较ADA和C.
• Spark 2014和Apache Spark之间有什么区别？
• 生锈和火花：每个人的软件可靠性
• C程序员，时间尝试ADA
• ADA提供了C和C ++的优势

高可靠性软件

• 问答：正式方法推向零缺陷软件
• 生锈和火花：每个人的软件可靠性
• 解决嵌入式系统的增长复杂性
• 您是安全和安全的软件吗？

使用ADA降低成本

• ADA-节省成本的语言？
• GNAT Pro Developer Cuts Ada，Spark开发成本
• 在尖端汽车系统中利用火花和ADA

学习Ada和Spark

• 您现在可以在线学习Spark和Ada
• 从ADA Neophyte学习

与ADA比赛

• 你可以“用ADA制作”的方式
• 与ADA 2019
• 他们用ADA和Spark制作它
• 你是ADA挑战吗？

实践Ada和Spark

• 使用带有ADA和Spark的MSP432 Driverlib ROM
• 在Cortex-M4上运行ADA 2012
• Ada / Spark Fixes Crazyflie nano四轮车
• 武装ada.