首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
自考
对于形式化需求规约描述不正确的有 ( )
对于形式化需求规约描述不正确的有 ( )
admin
2016-12-22
23
问题
对于形式化需求规约描述不正确的有 ( )
选项
A、它的编写基于良构数学概念的符号体系
B、它以半形式化符号体系来表达需求规约
C、一般伴有解释性注释的支持
D、定义了一组支持逻辑推理的证明规则
答案
B
解析
选项B是对于半形式化需求规约的描述。
转载请注明原文地址:https://kaotiyun.com/show/yajx777K
本试题收录于：
软件工程题库理工类分类
0
软件工程
理工类
相关试题推荐
病历：女性，17岁，高中生。三个月前无明显原因出现失眠、上课时注意力不集中，主动要家长给介绍男朋友，两个月发展到不去读书，在街上闲游，住院前一个月常半夜高歌、自言自语、扮鬼脸、做怪动作、照镜子、痴笑，有时头插鲜花，甚至赤身裸体、将家中玻璃窗打碎、喝痰盂中
下列哪项不是神经症患者的共同特征()
女性，17岁，半年前因学习压力大，出现暴饮暴食，后来逐渐发展为常常不可抗拒的要吃下大量的食品，每次非要吃到被撑得难受才罢休。如果想吃的东西没吃，就会没心思上课，晚上连觉都睡不好。她常常采用引吐、导泻、增加运动量等方法，以消除暴食引起身体发胖的恐惧心理。为此
女性，17岁，半年前因学习压力大，出现暴饮暴食，后来逐渐发展为常常不可抗拒的要吃下大量的食品，每次非要吃到被撑得难受才罢休。如果想吃的东西没吃，就会没心思上课，晚上连觉都睡不好。她常常采用引吐、导泻、增加运动量等方法，以消除暴食引起身体发胖的恐惧心理。为此
女性，26岁，两年前在工作中发生过一次失误受到领导点名批评，之后她心里总想着“是不是领导看不起我”。从此走进办公室就不舒服，见到同事就紧张、甚至害羞脸红，以至于后来怕见熟人，常常紧张不安、失控感、心慌、出汗，颤抖。检查身体，各方面指标都正常。该患者使
女性，30岁，大专文化，技术员，已婚。近1年来出现说完话或做完事不能确定，要一遍一遍地问别人是否听清楚了自己讲话的意思，自己是不是做对了，另外还反复关门、关煤气，知道没必要，想摆脱又摆脱不掉，感到十分痛苦。在门诊治疗半年，自觉效果不好，近日失眠、
男性，32岁，公司职员，3年来无端怀疑自己不是父母亲生的，认为父母和妻子在自己的饭菜里下毒，认为自己的想法网上都知道了，为此恐惧紧张。经常失眠，有时整夜不睡，浑身大汗、心慌、憋气。服药后常见不良反应是【】
下列选项中，不合法的变量名称是【】
操作系统中的接口分为用户接口和_______两大类。
随机试题
大柴胡汤的药物组成不包括
患者，神志恍惚不安,心胸烦闷,多梦易醒,悲忧善哭。舌尖红,舌苔薄白,脉弦细。证属（ ）。
枳壳（ ）。蜈蚣（ ）。
在银行存款对账中，未达账项包括()。
有下列哪种情况视为企业的卫生注册资格自动失效：( )
会计师事务所被人民法院指定为乙企业破产案件中的管理人。甲向债权人会议报告的有关报酬方案的下列内容中，符合企业破产法律制度规定的有()。
阅读下面的文章，回答下列问题。永远的蝴蝶陈启佑
在练习过程中，共同的表现是开始进步快，中间有一个明显的暂时停顿期，这个时期被称为()。
在考生文件夹下KUB文件夹中新建名为BRNG的文件夹。
A、Watchhisdiet.B、Haveaphysicalcheckup.C、Takeupatraining.D、Gotobedearly.B细节推断题。男士问女士whatareyousuggesting，后面跟的就是
最新回复
(
0
)
