首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
自考
对于形式化需求规约描述不正确的有 ( )
对于形式化需求规约描述不正确的有 ( )
admin
2016-12-22
20
问题
对于形式化需求规约描述不正确的有 ( )
选项
A、它的编写基于良构数学概念的符号体系
B、它以半形式化符号体系来表达需求规约
C、一般伴有解释性注释的支持
D、定义了一组支持逻辑推理的证明规则
答案
B
解析
选项B是对于半形式化需求规约的描述。
转载请注明原文地址:https://jikaoti.com/ti/lUWaFFFM
本试题收录于:
软件工程题库理工类分类
0
软件工程
理工类
相关试题推荐
女性,42岁,未婚。近几个月来坚信自己的领导喜欢自己,因此不顾对方已有家室采取各种方法去追求对方,被对方多次拒绝后,仍毫不质疑,认为对方在考验自己,反复纠缠不休。由家属陪同送入医院。该患者的症状属于()
患儿,7岁,多动,胆小,注意力不集中,不敢注视别人的眼睛,不喜欢与别人一起玩;语言声调平直,喜欢重复广告语句,人称代词不能分清,颜色认知不清。每次进入门诊,就仰脸向上,瞧着天花板、灯管、风扇一边笑一边自语,别人叫他,没有反应。下列哪项不是该病的精神病理
女性,75岁,3年前无明显诱因逐渐出现记忆力减退,做事情丢三落四,出门迷路,不知方向。不知道今天是何年何月何日,不会自己系鞋带、系裤子,食欲减退,白天卧床,晚上活动。对于该患者的安全护理,不正确的是()
女性,26岁,两年前在工作中发生过一次失误受到领导点名批评,之后她心里总想着“是不是领导看不起我”。从此走进办公室就不舒服,见到同事就紧张、甚至害羞脸红,以至于后来怕见熟人,常常紧张不安、失控感、心慌、出汗,颤抖。检查身体,各方面指标都正常。该患者使
女性,30岁,大专文化,技术员,已婚。近1年来出现说完话或做完事不能确定,要一遍一遍地问别人是否听清楚了自己讲话的意思,自己是不是做对了,另外还反复关门、关煤气,知道没必要,想摆脱又摆脱不掉,感到十分痛苦。在门诊治疗半年,自觉效果不好,近日失眠、
人们要求自己的行为符合理想标准,属于人格结构中的()
急性心肌梗死的男性,48岁,汉族,已婚,大专文化程度。在教育子女方面夫妻有矛盾,一度关系紧张。病人为某合资企业经理,工作压力大,个性较强,嗜好吸烟,平时喜欢吃肉,不喜欢吃蔬菜,缺乏运动。(1)根据奥瑞姆自理理论分析其可能的治疗性自理需求。(2)针对此病
在一个单链表中,要在p指针所指结点之后插入s结点,其操作是s—>next=p—>next和________。
_______是指接收到的错误比特数在所传输的总比特数中所占的比例。
需求分析实际上是在系统分析阶段对处理对象的_______分析。
随机试题
用统筹法计算工程量的说法错误的是()。
风管可现场制作或工厂预制,风管制作方法分为()。
()的制造过程,必须经国务院特种设备安全监督管理部门核准的检验检测机构按照安全技术规范的要求进行监督检验。
下列(),应当办理会计手续,进行会计监督。
票据时效的最后期限,在非节假日是以()。
检验检疫机构对报检员日常的报检行为实施差借登记管理制度。( )
要在演示文稿的每一张幻灯片中都使用某个图案,可以通过()实现。
给定程序MODI1.C中函数fun的功能是:通过某种方式实现两个变量值的交换,规定不允许增加语句和表达式。例如变量a中的值原为8,b中的值原为3,程序运行后a中的值为3,b中的值为8。请改正程序中的错误,使它能得出正确的结果。注意:不要
Fool_____Michaelis,hecouldnothavedonesuchathing.(2014)
TheEnglishnationalcharacterisdualistic:Oneaspectisconservative,theotherextroverted(性格外向的).Thepubisafineexample
最新回复
(
0
)