一种基于数学概念符号体系来编制需求规约,其风格属于____的需求规约。

一种基于数学概念符号体系来编制需求规约,其风格属于____的需求规约。
【正确答案】:形式化