2 有证据表明使用动态语言会影响生产率吗？ 我想知道是否有任何实验可以显示动态语言（例如Python，Ruby或什至在Java平台上运行的语言，例如Groovy，Clojure）的使用之间是否存在关联。静态语言（例如C / C ++），以及生产率的差异。 25 programming-languages empirical-research software-engineering
5 如果输入受限制或可预测，是否可以解决停止问题？ 在一般情况下，无法解决暂停问题。可以提出限制允许输入的已定义规则，并且可以针对这种特殊情况解决暂停问题吗？ 例如，似乎一种不允许循环的语言很容易判断程序是否停止。 我现在要解决的问题是，我要制作一个脚本检查程序来检查程序的有效性。如果我确切知道脚本编写者的期望，这可以解决暂停的问题，这意味着非常可预测的输入。如果不能完全解决这个问题，有什么好的近似技术可以解决这个问题？ 18 computability undecidability software-engineering formal-methods
4 如何检查两种算法是否对任何输入返回相同的结果？ 当所有输入的集合都是无限的时，如何检查两种算法（例如，合并排序和朴素排序）对于任何输入是否返回相同的结果？ 更新：感谢Ben解释了在一般情况下如何通过算法无法做到这一点。Dave的答案很好地总结了算法方法和手动方法（受人类智慧和隐喻的影响），这些方法并不总是有效的，但却非常有效。 18 computability formal-methods software-engineering software-verification
2 花在需求上的时间及其对项目成功和开发时间的影响 是否有证据表明花时间在编写或思考需求上会对开发时间产生影响？Standish（1995）进行的研究表明，部分不完整的需求（13.1％）导致了项目的失败。是否有任何研究表明花费在需求分析上的时间会影响项目的开发时间或项目的成功程度。 15 software-engineering