B-Method是传统编程语言的替代品吗？

Question

我听说过法国发明的B-Method。它是c++和java等传统编程语言的替代品，还是具有不同用途的完全不同的东西？

Answer 1

引用B-website

B是一种正式的规范方法，由于有了适当的语言，它可以高度准确地表达规范所需的属性。然后，可以以全自动的方式证明这些属性是明确的、连贯的并且不矛盾的。这使我们能够从数学上证明，随着设计阶段的进展，这些属性也会被考虑在内。

因此，这种方法及其相关的证明允许：(1)达到清晰的技术规范和系统规范，这些规范是结构化的、连贯的和明确的，以及(2)通过合同保证无故障的软件的开发。

回答你的问题:不，B方法不是编程语言的替代品。这是一种为程序创建蓝图并验证您创建的东西是否真的按照蓝图所描述的方式工作的方法。如果你不理解这一点，你可以放心地忘记它。

Answer 2

不，正如维基百科文章所说，B- Formal Method是一种方法，而不是一种编程语言。你也可以在维基百科上阅读正式的方法。基本上，它们可以在开发过程中用于描述和验证算法。