当前位置：首页 >
软件工程(02333) > 正文内容
对于形式化需求规约描述不正确的有()
对于形式化需求规约描述不正确的有()
A.它的编写基于良构数学概念的符号体系
B.它以半形式化符号体系来表达需求规约
C.一般伴有解释性注释的支持
D.定义了一组支持逻辑推理的证明规则
正确答案是B
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。