B-Method是否可以替代传统的编程语言？

Question

我听说法国发明了B-Method。它是传统编程语言（如c ++和java）的替代品，还是用于不同目的的完全不同的东西？

Answer 1

引用B-website：

  

B是一种正式的规范方法   这要归功于适当的语言，   允许高度准确的表达   所需的属性   规格。然后可以证明   这些完全自动化的时尚   属性是明确的，连贯的   并不矛盾。这就是   允许我们在数学上证明这一点   这些属性被纳入   帐户作为设计阶段的进展。

     因此，这种方法及其方法   相关证明允许：   （1）明确技术规范和   要达到的系统规格   这是结构化的，连贯的和   毫不含糊，（2）的发展   合同中的软件   保证无故障。

回答你的问题：不，B-Method不是编程语言的替代品。这是一种为程序创建蓝图并验证您创建的东西是否正如蓝图所描述的那样工作的方式。如果你不明白这一点，你可以放心地忘掉它。

Answer 2

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