I heard about B-Method which is invented in France. Is it an alternative to traditional programming languages like c++ and java or is it a completely different thing with different purposes?
问问题
286 次
2 回答
5
引用B 网站：
B 是一种正式的规范方法，由于有适当的语言，它允许高度准确地表达规范所需的属性。然后可以以一种完全自动化的方式证明这些属性是明确的、连贯的并且不矛盾的。然后，这使我们能够在数学上证明这些属性在设计阶段的进展中被考虑在内。
因此，该方法及其相关证明允许：（1）要达到的清晰的技术规范和系统规范是结构化的、连贯的和明确的，以及（2）合同保证无故障的软件开发。
回答您的问题：不，B-Method 不能替代编程语言。这是一种为程序创建蓝图并验证您创建的东西是否真的按照蓝图描述的方式工作的方法。如果你不明白这一点，你可以放心地忘记它。
于 2010-02-23T11:42:45.280 回答
1
不，正如维基百科文章所说，B-Method 是一种形式化方法，而不是一种编程语言。您也可以在 Wikipedia 上阅读形式化方法。基本上，它们可以在开发过程中用于描述和验证算法。
于 2010-02-23T11:34:47.723 回答