好词典
b0
UK //US //
词源
源自法国计算机科学家Jean-Raymond Abrial在1990年代开发的B方法（B Method），B0是其子集。
noun
❶ 在计算机科学中，B0指代一种形式化规范语言，用于描述和验证软件系统的行为。
“The B0 method is widely used in railway signaling systems.”
（B0方法广泛应用于铁路信号系统中。）
“We need to verify this algorithm using B0 specifications.”
（我们需要用B0规范来验证这个算法。）
同义词:B method, formal specification language
常见短语
B0 specification — 指使用B0语言编写的系统规范文档，用于精确描述系统需求。
“The team is reviewing the B0 specification for the control system.”
（团队正在审查控制系统的B0规范文档。）