“一种基于良构数学概念的符号体系来编制需求规约”的表达风格是

“一种基于良构数学概念的符号体系来编制需求规约”的表达风格是
A、非形式化的
B、形式化的
C、半形式化的
D、全形式化的
【正确答案】：B
【题目解析】：以一种基于良构数学概念的符号体系来编制需求规约，则称为形式化需求规约。