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

admin2016-12-22 26

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

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

答案B

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

转载请注明原文地址:https://jikaoti.com/ti/lUWaFFFM

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

软件工程

理工类

相关试题推荐

白血病患儿鞘内注射后为减少不良反应，需平卧的时间是()
接种卡介苗时以下哪项操作不规范()
女性，18岁，高二学生，未婚。现病史：无明显诱因，二个月前突然对母亲说周围环境不对头，自己走到哪里就有人跟到哪里，还学自己的动作，并出现失眠，近一个月说听到声音，说自己得了艾滋病，让自己去死，曾跑到立交桥上，后因声音不让跳，就没跳下去，上课注意力不集中，认
女性，42岁，未婚。近几个月来坚信自己的领导喜欢自己，因此不顾对方已有家室采取各种方法去追求对方，被对方多次拒绝后，仍毫不质疑，认为对方在考验自己，反复纠缠不休。由家属陪同送入医院。该患者的症状属于()
男性，27岁，过去3～4天未睡过觉，整夜不眠打扫公寓，变得非常易怒暴躁，言语快且声音大，很难被打断，患者声称其情绪“很好”，自己注定非同一般。思维过程漫无边际，否认有任何自杀与杀人意念、幻觉或妄想。门诊诊断为“躁狂状态”。锂盐对情感障碍复发的预防作用较
对于精神分裂症患者，首选的治疗方法为【】
试用2—4译码器和门电路设计一个故障显示控制电路，要求两台电机A和B正常工作时，绿灯F1亮；一台电机有故障时，黄灯F2亮；两台电机同时有故障时，红灯F3亮。规定电机有故障时为“1’’，正常工作时为“0”；灯亮为“1”，不亮为“0”。要求：写出F1、F
软件工程的三要素分别为方法、_________和过程。
需求分析实际上是在系统分析阶段对处理对象的_______分析。
下列属于需求分析阶段工作的是()

随机试题

《一句话》所体现的诗人的诗歌艺术主张有
下面不属于类风湿因子的是
中风的病位在(　　)
平均粒重≤1g栓剂的重量差异限度是平均粒重>3.0g栓剂的重量差异限度是
不属于要约的是()。
抗震设计时,建筑物应根据其重要性分为甲、乙、丙、丁四类。一幢18层的普通高层住宅应属于()。
属于工资核算模块初始化设置的有()。
()是印度孔雀王朝时期的圆雕石刻神像。
我党提出的科学发展观，是对邓小平理论和“三个代表”重要思想的新发展。科学发展观把坚持以人为本和经济社会全面、协调、可持续发展统一起来，强调按照“五个统筹”的要求推进改革和发展，实现经济社会更快更好的发展。科学发展观的实质是()。
某年元旦前，张某给田某寄去一张有奖明信片，并戏称：“得奖了别忘请客”。田某将此明信片转送给金某，并与其约定一旦得奖则奖金两人平分。开奖时，该张明信片中了大奖，奖金2000元。为此笔奖金的分配，张某、田某与金某发生争执。依据民法原理，此笔奖金应(　　)。

最新回复(0)

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

软件工程

理工类

白血病患儿鞘内注射后为减少不良反应，需平卧的时间是()

接种卡介苗时以下哪项操作不规范()

女性，42岁，未婚。近几个月来坚信自己的领导喜欢自己，因此不顾对方已有家室采取各种方法去追求对方，被对方多次拒绝后，仍毫不质疑，认为对方在考验自己，反复纠缠不休。由家属陪同送入医院。该患者的症状属于()

对于精神分裂症患者，首选的治疗方法为【】

软件工程的三要素分别为方法、_________和过程。

需求分析实际上是在系统分析阶段对处理对象的_______分析。

下列属于需求分析阶段工作的是()

《一句话》所体现的诗人的诗歌艺术主张有

下面不属于类风湿因子的是

中风的病位在( )

平均粒重≤1g栓剂的重量差异限度是平均粒重>3.0g栓剂的重量差异限度是

不属于要约的是()。

抗震设计时,建筑物应根据其重要性分为甲、乙、丙、丁四类。一幢18层的普通高层住宅应属于()。

属于工资核算模块初始化设置的有()。

()是印度孔雀王朝时期的圆雕石刻神像。

中风的病位在(　　)