是B-法传统编程语言的选择吗?
-
22-09-2019 - |
题
我听到这在法国发明 B-方法。是传统的编程语言,如C ++和Java的替代或者是它与不同的目的完全不同的东西?
解决方案
引用 B-网站:
B是正式的规范方法 其中,得益于充足的语言, 允许高度精确表达式 由所要求的特性的 规格。那么可以证明 一个完全自动化的方式,这些 属性是明确的,相干 并且是不矛盾的。然后,这 可以让我们在数学证明 这些属性都考虑 帐户作为设计阶段的进展。
因此,该方法和其 相关的证明允许: (1)明确的技术规范和 要达到系统规范 被结构化,连贯和 明确的,和(2)的发展 软件即合同 保证是无故障的。
要回答你的问题:没有,B-方法不是编程语言的选择。这是创建程序蓝图验证由蓝图描述您所创建的东西真的作品和方式。如果你不明白这一点,你可以安全地忘掉它。
其他提示
没有,如维基百科文章说,B-方法是形式化方法的不是一个编程语言。您可以在维基百科上的形式化方法读了太多。基本上,他们可以在开发过程中被用来描述和验证算法。
不隶属于 StackOverflow