首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
自考
对于形式化需求规约描述不正确的有 ( )
对于形式化需求规约描述不正确的有 ( )
admin
2016-12-22
25
问题
对于形式化需求规约描述不正确的有 ( )
选项
A、它的编写基于良构数学概念的符号体系
B、它以半形式化符号体系来表达需求规约
C、一般伴有解释性注释的支持
D、定义了一组支持逻辑推理的证明规则
答案
B
解析
选项B是对于半形式化需求规约的描述。
转载请注明原文地址:https://kaotiyun.com/show/yajx777K
本试题收录于:
软件工程题库理工类分类
0
软件工程
理工类
相关试题推荐
小儿生长发育过程中常见的心理行为偏移有哪些?
女性,20岁,中专学生,未婚。现病史:半年前和同学发生一些矛盾,之后不上学,认为同学合伙欺负她,恐惧、紧张、回家后不愿出门、不愿见人,父母劝说,有时不回答,有时又称心烦“别理我”伴失眠,有时整夜不睡、发呆发愣,近一周明显加重,总想半夜外出。因护理困难,由
患者感觉发憋、呼吸不畅,认为是“心脏失去收缩功能,全身血液停滞了”。这一症状是()
下列哪项不是神经症患者的共同特征()
精神障碍患者记录排便次数的时间是()
经典精神分析技术治疗的主要技术有哪几种?
健康教育研究领域按不同分类标准分为:按场所或目标人群、____________、按业务技术或责任。
试用下降沿触发的JK触发器设计一位数字的同步8421BCD码加法计数器。
软件工程的三要素分别为方法、_________和过程。
操作系统中的接口分为用户接口和_______两大类。
随机试题
含维生素C较多的蔬菜是()。
批发商在商品流通中的意义包括()。
甲对乙说,“我的自行车要出卖,九成新,200元。”乙听后不可置否,而将此情况告知丙,丙即携款前去甲处要求买车,丙的行为属于()
在《赫尔辛基宣言》对临床人体实验的规定中不体现“病人健康利益高于医学发展利益”准则的是
A.辐射散热B.对流散热C.传导散热D.蒸发散热E.传导和蒸发散热给高热患者使用冰帽的散热方式属于
肝素的抗凝血作用特点为
放线菌病的好发部位是
下列关于护岸护坡形式及施工方法的说法正确的是()。
拼箱货运输,承运人未按提单上记载的数量、状况交货,收货人即可向承运人索赔。()
金太阳机械厂共有4个车间。上年度,二车间试行了绩效工资制度,而其他三个车间维持原有的工资制度。结果,二车间的劳动生产率比其他几个车间的平均劳动生产率高出了20%。因此,在金太阳机械厂实行绩效工资制度有利于提高整个机械厂的劳动生产率。以下哪项最有可能是上述论
最新回复
(
0
)