B-method is a software formal method, which supports the whole lifecycle of software development from formal specification to code generation.
方法是一种软件形式化方法，支持从规格说明到代码生成的整个软件开发周期。
2
The susceptibilities of gonococci to 10 kinds of antibiotics were detected by using K Bmethod.
利用K- B法测定淋球菌流行株对10种抗生素的敏感性。
3
Bmethod is one of the most popular formal methods at present, which supports the whole lifecycle of software development process, from specification to code generation.