Ada真的减少了bug吗？

我试着用谷歌搜索。我发现了一个网站，它讨论了发现了多少bug，减少了多少测试。但它只有一页，我找不到关于它的报纸

---

有没有发表过任何关于使用Ada节省时间或成本的文章？

已经有一些研究/论文，其中唯一一篇立即发表的可能是最著名的：
（1995年）

还有一个演示：
（1997年）

其他研究：

• （1991年）

---

同样令人感兴趣的是[AFAIK]第一个经过验证的DNS服务器，它有几篇论文提到了有缺陷/不安全软件的成本和正式验证的好处。

有一些研究/论文，其中唯一一篇可能是最著名的：
（1995年）

还有一个演示：
（1997年）

其他研究：

• （1991年）

---

同样令人感兴趣的是，作为[AFAIK]第一个经过验证的DNS服务器，有几篇论文提到了有缺陷/不安全软件的成本和正式验证的好处。

我看到一篇论文比较了学生团队在Ada或C中开发实时系统的成功率。在那个实验中，Ada的成功率显著较高；我将把实际细节留给报纸

---

在

上，我看到一篇论文比较了学生团队在Ada或C中开发实时系统的成功率。在该实验中，Ada中的成功率明显较高；我将把实际细节留给报纸

---

这是“软件工程：在正确的轨道上”

两者都没有，或者似乎提供了数字。是的，但是很老了。“这些都是项目清单。”安德烈·巴伯说，严格地说，我是在要求一篇论文或某种研究。它并不是真的在征求意见。@user2814152即使你是对的，它也可能与堆栈溢出无关。对于StackExchange或其他站点可能更好。@ajb:我认为更合适。编辑问题标题“是否有任何确凿证据表明Ada减少了bug？”是否有助于解决问题？明确表示此处不需要意见？既不需要意见，也不提供数字。是的，但是很老了。“这些都是项目清单。”安德烈·巴伯说，严格地说，我是在要求一篇论文或某种研究。它并不是真的在征求意见。@user2814152即使你是对的，它也可能与堆栈溢出无关。对于StackExchange或其他站点可能更好。@ajb:我认为更合适。编辑问题标题“是否有确凿证据表明Ada减少了bug？”是否有助于解决问题，明确表示此处不需要发表意见？