首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
自考
对于形式化需求规约描述不正确的有 ( )
对于形式化需求规约描述不正确的有 ( )
admin
2016-12-22
35
问题
对于形式化需求规约描述不正确的有 ( )
选项
A、它的编写基于良构数学概念的符号体系
B、它以半形式化符号体系来表达需求规约
C、一般伴有解释性注释的支持
D、定义了一组支持逻辑推理的证明规则
答案
B
解析
选项B是对于半形式化需求规约的描述。
转载请注明原文地址:https://kaotiyun.com/show/yajx777K
本试题收录于:
软件工程题库理工类分类
0
软件工程
理工类
相关试题推荐
接种卡介苗时以下哪项操作不规范()
下列关于小儿体格生长的测量方法,叙述错误的是()
女性,45岁,干部。近半年工作较忙,渐出现见人话多,活动多,但情绪不稳,易紧张,有时还表现敏感多疑,睡眠差。查体甲状腺Ⅱ度肿大,心率快。治疗首选()
下列哪项不是神经症患者的共同特征()
女性,75岁,3年前无明显诱因逐渐出现记忆力减退,做事情丢三落四,出门迷路,不知方向。不知道今天是何年何月何日,不会自己系鞋带、系裤子,食欲减退,白天卧床,晚上活动。该患者的诊断为()
男性,18岁,高三学生,准备参加高考,学习压力大.半年来一读书就觉得精力不够,注意力不集中,学上10分钟就觉头昏脑胀,夜里失眠。对声光敏感.心烦起急,父母安慰。有时控制不住发脾气,但一直坚持学习。对本病有效的心理治疗方法为【】
试用2—4译码器和门电路设计一个故障显示控制电路,要求两台电机A和B正常工作时,绿灯F1亮;一台电机有故障时,黄灯F2亮;两台电机同时有故障时,红灯F3亮。规定电机有故障时为“1’’,正常工作时为“0”;灯亮为“1”,不亮为“0”。要求:用2—4译码
在软件外部环境或数据环境发生变换时对软件进行的修改称为【】
软件生存周期可分为________、软件开发和软件维护三个阶段。
随机试题
孙中山“五权宪法”的精华是
用于治疗尿崩症的利尿药是()
赵某于10月购买一套普通商品住房自住。经估价,该住房的市场价值为100万元。赵某申请住房公积金贷款。其住房公积金账户本息余额为20000元,9月个人缴纳的住房公积金为250元,单位缴纳的比例与职工相同。赵某购买该住房时离法定退休年龄还有30年,预计赵某及
社会规律的特点是()。
根据阿特金森的期望一价值理论,成就动机高的人倾向于选择的任务是
何种迁移理论认为迁移是具体的,而非一般的?()
下列行为构成逃税罪的是()。
社会意识相对独立性最突出的表现是()
Didn’tyouknowit?IwishI(tell)______youaboutit.
WhatdoTimeWarnerandMatsushitahaveincommon?Accordingtothepassage,whichofthefollowingmakesacquisitionseasier?
最新回复
(
0
)