形式化方法的优点是（）。

形式化方法的优点是（）。
A、形式化的需求规格说明可读性较差
B、形式化的需求规格说明有利于系统的设计与实现
C、形式方法目前还缺乏软件工程环境的支持
D、形式化方法对软件设计人员提出较高要求，需进行更专业化的培训
正确答案：形式化的需求规格说明有利于系统的设计与实现