单选

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

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

订单号:

遇到问题请联系在线客服

订单号:

遇到问题请联系在线客服