首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
自考
对于形式化需求规约描述不正确的有 ( )
对于形式化需求规约描述不正确的有 ( )
admin
2016-12-22
61
问题
对于形式化需求规约描述不正确的有 ( )
选项
A、它的编写基于良构数学概念的符号体系
B、它以半形式化符号体系来表达需求规约
C、一般伴有解释性注释的支持
D、定义了一组支持逻辑推理的证明规则
答案
B
解析
选项B是对于半形式化需求规约的描述。
转载请注明原文地址:https://kaotiyun.com/show/yajx777K
本试题收录于:
软件工程题库理工类分类
0
软件工程
理工类
相关试题推荐
使白血病患儿得以长期生存的关键治疗方法为()
新生儿生理性黄疸的出现时间为()
小儿雾化吸入的时间一般是()
精神障碍患者记录排便次数的时间是()
利他林治疗ADHD的常用最适宜剂量为()
女性,30岁,大专文化,技术员,已婚。近1年来出现说完话或做完事不能确定,要一遍一遍地问别人是否听清楚了自己讲话的意思,自己是不是做对了,另外还反复关门、关煤气,知道没必要,想摆脱又摆脱不掉,感到十分痛苦。在门诊治疗半年,自觉效果不好,近日失眠、
对于精神分裂症患者,首选的治疗方法为【】
呕吐、腹泻常导致病人的哪项生理需求得不到满足()
试设计同步模七(七进制)加三计数器(位内以二进制数表示七进制)。选用JK下降沿触发器设计。
随机试题
根据成本性态,在一定时期一定业务量范围之内,职工培训费一般属于()。
解方程y"-2y’-3y=2x+1.
慢性再障的治疗首选
下列不属于口腔念珠菌病多发因素的是()
下列关于违法行为的理解,正确的是下列哪一项?
理论分析和工程实践表明,()确定的回归方程偏差最小。
请以《脸》为题画一幅手绘线描图像。(可以使用客观再现或主观表现的手法进行创作)
下列有关犯罪的直接客体的说法,正确的是()。
根据可信计算机系统评估准则(TESEC),用户能定义访问控制要求的自主保护类型系统属于
A、Iftheydon’tinvolveanyrisks.B、Iftheyproducepredictablesideeffects.C、Whentheurgentneedforthemarises.D、Whente
最新回复
(
0
)