形式化方法应该为复杂软件工程保驾护航
原文中文，约1800字，阅读约需5分钟。发表于：。Marc Brooker 这篇文章讨论了形式化方法在软件工程实践中的重要性，特别是在构建大型系统、分布式系统或关键的低级系统时，在这些情况下不使用形式化方法很可能会浪费时间和金钱。形式化方法并不便宜，也不是特别容易，并且并不适合每种软件工程方法。 人们有理由相信形式化方法会增加成本，尤其是非经常性工程成本。...
形式化方法在软件工程中的重要性，特别是在构建大型、分布式或关键的低级系统时。形式化方法减少返工成本，提高构建速度和效率。使用形式化方法可以更快地构建系统，并通过优化和约束条件来创建更快的系统。形式化方法适用于隔离系统行为与应用程序接口。
