Ala*_*_AI 5 programming-languages b-method
我听说法国发明了B-Method.它是传统编程语言(如c ++和java)的替代品,还是具有不同用途的完全不同的东西？
zou*_*oul 5
引用B网站:
B是一种正式的规范方法,由于语言足够,可以高度准确地表达规范所要求的属性.然后,人们可以以完全自动化的方式证明这些属性是明确的,连贯的并且不矛盾.这样我们就可以在数学上证明在设计阶段进展时会考虑这些属性. 因此,该方法及其相关证据允许:(1)明确的技术规范和系统规范,具有结构化,连贯性和明确性,以及(2)合同保证无故障的软件开发.
B是一种正式的规范方法,由于语言足够,可以高度准确地表达规范所要求的属性.然后,人们可以以完全自动化的方式证明这些属性是明确的,连贯的并且不矛盾.这样我们就可以在数学上证明在设计阶段进展时会考虑这些属性.
因此,该方法及其相关证据允许:(1)明确的技术规范和系统规范,具有结构化,连贯性和明确性,以及(2)合同保证无故障的软件开发.
回答你的问题:不,B-Method不是编程语言的替代品.这是一种为程序创建蓝图并验证您创建的东西是否正如蓝图所描述的那样工作的方式.如果你不明白这一点,你可以放心地忘掉它.
归档时间：
15 年，9 月 前
查看次数：
214 次
最近记录：