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

admin2016-12-22 57

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

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

答案B

解析选项B是对于半形式化需求规约的描述。

转载请注明原文地址:https://www.kaotiyun.com/show/yajx777K

本试题收录于：软件工程题库理工类分类

软件工程

理工类

相关试题推荐

新生儿生理性黄疸的出现时间为()
女性，45岁，干部。近半年工作较忙，渐出现见人话多，活动多，但情绪不稳，易紧张，有时还表现敏感多疑，睡眠差。查体甲状腺Ⅱ度肿大，心率快。治疗首选()
下列哪项不属于认知治疗的主要技术()
男性，22岁，大学生。平时性格内向，近2周来表现健谈，说话滔滔不绝、口若悬河，自觉脑子反应快，特别灵活，思维敏捷，说话的主题极易随环境而改变，无法静下心来学习，且并不认为自己有什么问题，由家属送入医院。该患者的症状属于()
女性，26岁，两年前在工作中发生过一次失误受到领导点名批评，之后她心里总想着“是不是领导看不起我”。从此走进办公室就不舒服，见到同事就紧张、甚至害羞脸红，以至于后来怕见熟人，常常紧张不安、失控感、心慌、出汗，颤抖。检查身体，各方面指标都正常。该患者使
女性，30岁，大专文化，技术员，已婚。近1年来出现说完话或做完事不能确定，要一遍一遍地问别人是否听清楚了自己讲话的意思，自己是不是做对了，另外还反复关门、关煤气，知道没必要，想摆脱又摆脱不掉，感到十分痛苦。在门诊治疗半年，自觉效果不好，近日失眠、
护理人员查房时，应做到“四轻”，即走路轻、操作轻、___________、开关门轻。
试用2—4译码器和门电路设计一个故障显示控制电路，要求两台电机A和B正常工作时，绿灯F1亮；一台电机有故障时，黄灯F2亮；两台电机同时有故障时，红灯F3亮。规定电机有故障时为“1’’，正常工作时为“0”；灯亮为“1”，不亮为“0”。要求：用2—4译码
试设计同步模七(七进制)加三计数器(位内以二进制数表示七进制)。选用JK下降沿触发器设计。
在瀑布模型中，将软件开发的过程划分为若干个阶段，软件项目的可行性研究属于【】

随机试题

EveryoneknowshowtogettoCarnegieHall:practice,practice,practice.Butwhatabouthowtogetintothenation’smosthonor
1987年的《瑞士联邦国际私法法规》第52条明确指出“婚姻财产适用_____。”
某中国境内的公办大学要建立WWW网站，一般来说其域名的后缀应该是____。
下列有关尼可刹米的叙述正确的是
犬，7岁，雄性，近日在肛门旁出现无热、无痛、界限明显、柔软肿胀物，大小便不畅。该病最可能的诊断是
A．环氧酶抑制剂B．二磷酸腺苷P2Y12受体阻断剂C．整合素受体抑制剂D．磷酸二酯酶抑制剂E．血小板腺苷环化酶刺激剂阿昔单抗属于()。
在工业生产中，设置防爆墙、防火门等主要是应用()预防伤亡事故。
财务成果的计算和处理一般包括()。
某汽车厂在生产过程中引进先进的生产设备，极大地提高了劳动生产率。如果假定工人的劳动量不变，那么在单位劳动时间内生产的商品数量和价值量之间的变化为()。
Thequestionofwhetherlanguagesshapethewaywethinkgobackcenturies;Charlemagneproclaimedthat"tohaveasecond【S1】

最新回复(0)

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

软件工程

理工类

新生儿生理性黄疸的出现时间为()

女性，45岁，干部。近半年工作较忙，渐出现见人话多，活动多，但情绪不稳，易紧张，有时还表现敏感多疑，睡眠差。查体甲状腺Ⅱ度肿大，心率快。治疗首选()

下列哪项不属于认知治疗的主要技术()

护理人员查房时，应做到“四轻”，即走路轻、操作轻、___________、开关门轻。

试设计同步模七(七进制)加三计数器(位内以二进制数表示七进制)。选用JK下降沿触发器设计。

在瀑布模型中，将软件开发的过程划分为若干个阶段，软件项目的可行性研究属于【】

EveryoneknowshowtogettoCarnegieHall:practice,practice,practice.Butwhatabouthowtogetintothenation’smosthonor

1987年的《瑞士联邦国际私法法规》第52条明确指出“婚姻财产适用_____。”

某中国境内的公办大学要建立WWW网站，一般来说其域名的后缀应该是____。

下列有关尼可刹米的叙述正确的是

犬，7岁，雄性，近日在肛门旁出现无热、无痛、界限明显、柔软肿胀物，大小便不畅。该病最可能的诊断是

A．环氧酶抑制剂B．二磷酸腺苷P2Y12受体阻断剂C．整合素受体抑制剂D．磷酸二酯酶抑制剂E．血小板腺苷环化酶刺激剂阿昔单抗属于()。

在工业生产中，设置防爆墙、防火门等主要是应用()预防伤亡事故。

财务成果的计算和处理一般包括()。

某汽车厂在生产过程中引进先进的生产设备，极大地提高了劳动生产率。如果假定工人的劳动量不变，那么在单位劳动时间内生产的商品数量和价值量之间的变化为()。

Thequestionofwhetherlanguagesshapethewaywethinkgobackcenturies;Charlemagneproclaimedthat"tohaveasecond【S1】