是B-法传统编程语言的选择吗？

Question

我听到这在法国发明 B-方法。是传统的编程语言，如C ++和Java的替代或者是它与不同的目的完全不同的东西？

Answer 1

引用 B-网站：

  

B是正式的规范方法   其中，得益于充足的语言，   允许高度精确表达式   由所要求的特性的   规格。那么可以证明   一个完全自动化的方式，这些   属性是明确的，相干   并且是不矛盾的。然后，这   可以让我们在数学证明   这些属性都考虑   帐户作为设计阶段的进展。

     

因此，该方法和其   相关的证明允许：   （1）明确的技术规范和   要达到系统规范   被结构化，连贯和   明确的，和（2）的发展   软件即合同   保证是无故障的。

要回答你的问题：没有，B-方法不是编程语言的选择。这是创建程序蓝图验证由蓝图描述您所创建的东西真的作品和方式。如果你不明白这一点，你可以安全地忘掉它。

Answer 2

没有，如维基百科文章说，B-方法是形式化方法的不是一个编程语言。您可以在维基百科上的形式化方法读了太多。基本上，他们可以在开发过程中被用来描述和验证算法。