一起答
单选

8. 对于形式化需求规约描述不正确的有 ( )

  • A.它的编写基于良构数学概念的符号体系
  • B.它以半形式化符号体系来表达需求规约
  • C.一般伴有解释性注释的支持
  • D.定义了一组支持逻辑推理的证明规则
参考答案
查看试卷详情