首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
自考
对于形式化需求规约描述不正确的有 ( )
对于形式化需求规约描述不正确的有 ( )
admin
2016-12-22
58
问题
对于形式化需求规约描述不正确的有 ( )
选项
A、它的编写基于良构数学概念的符号体系
B、它以半形式化符号体系来表达需求规约
C、一般伴有解释性注释的支持
D、定义了一组支持逻辑推理的证明规则
答案
B
解析
选项B是对于半形式化需求规约的描述。
转载请注明原文地址:https://kaotiyun.com/show/yajx777K
本试题收录于:
软件工程题库理工类分类
0
软件工程
理工类
相关试题推荐
小儿时期最常用的洋地黄制剂是()
小儿生长发育过程中常见的心理行为偏移有哪些?
小儿雾化吸入的时间一般是()
下列关于小儿体格生长的测量方法,叙述错误的是()
男性,32岁,公司职员,3年来无端怀疑自己不是父母亲生的,认为父母和妻子在自己的饭菜里下毒,认为自己的想法网上都知道了,为此恐惧紧张。经常失眠,有时整夜不睡,浑身大汗、心慌、憋气。治疗首选【】
呕吐、腹泻常导致病人的哪项生理需求得不到满足()
集成运算放大器的输出级通常采用的电路结构是【】
运算放大器输入级通常采用的电路结构是【】
以下选项中,合法的标识符是【】
______是由一些局域网网段构成的与物理位置无关的逻辑组,而这些网段具有某些共同的需求。
随机试题
心脏杂音强度取决于()
检测母亲IgG抗一A、抗一B效价,用哪种方法处理IgM抗体
有机磷酸酯中毒时产生M样症状的原因是
咳嗽声音重浊,吐痰质清色白,鼻塞不通,多数是
下述哪项不是IgM的特性
患者,男,56岁,多饮、多食、多尿、体重减轻3个月,查空腹血糖9.5mmol/L,餐后2小时血糖14.1mmol/L。诊断为2型糖尿病。以下药物中,归属非磺酰脲类促胰岛素分泌剂的降糖药是()
正弦交流电压的波形图如图7-22所示,该电压的时域解析表达式为()。
背景某安装公司承包一演艺中心的空调工程,演艺中心地处江边(距离江边100m),空调工程设备材料:双工况冷水机组(650Rt)、蓄冰槽、江水源热泵机组、燃气锅炉、低噪声冷却塔(650t/h)、板式热交换机、水泵、空调箱、风机盘管、各类阀门(DN20
项目进度管理的活动定义过程是确定完成项目各项可交付成果而需开展的具体活动。下面不是活动定义过程的输出的是_______。
Imagine,ifyouwill,theaveragegamesplayer.Whatdoyousee?Aguywhonevergrewup?Oranervous18-year-oldpushingbutton
最新回复
(
0
)