我试着用Google搜索。我找到一个网站，讨论了发现了多少错误以及它减少了多少测试。但它只有一页，我发现没有论文可以谈论它。
是否有任何出版物显示使用Ada的时间或成本节省？
答案 0 :(得分：3)
有一些研究/论文，唯一立即出现的可能是最着名的： Comparing Development Costs of C and Ada（1995）
还有一个介绍：
Programming Languages and Lifecycle Cost（1997）
其他研究：
同样感兴趣Ironsides，这是[AFAIK]第一个经过验证的DNS服务器，有几篇论文提到了错误/不安全软件的成本以及正式验证的好处。
答案 1 :(得分：1)
我看过一篇论文，比较了学生团队在Ada或C中开发实时系统的成功率。在该实验中，Ada的成功率显着提高;我会将实际细节留给论文。
上的“软件工程：正确的轨道”