对于形式化需求规约描述不正确的有()
A.它的编写基于良构数学概念的符号体系 B.它以半形式化符号体系来表达需求规约 C.一般伴有解释性注释的支持 D.定义了一组支持逻辑推理的证明规则
◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。