首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
自考
对于形式化需求规约描述不正确的有 ( )
对于形式化需求规约描述不正确的有 ( )
admin
2016-12-22
28
问题
对于形式化需求规约描述不正确的有 ( )
选项
A、它的编写基于良构数学概念的符号体系
B、它以半形式化符号体系来表达需求规约
C、一般伴有解释性注释的支持
D、定义了一组支持逻辑推理的证明规则
答案
B
解析
选项B是对于半形式化需求规约的描述。
转载请注明原文地址:https://kaotiyun.com/show/yajx777K
本试题收录于：
软件工程题库理工类分类
0
软件工程
理工类
相关试题推荐
小儿时期最常用的洋地黄制剂是()
白血病患儿鞘内注射后为减少不良反应，需平卧的时间是()
女性，18岁，高二学生，未婚。现病史：无明显诱因，二个月前突然对母亲说周围环境不对头，自己走到哪里就有人跟到哪里，还学自己的动作，并出现失眠，近一个月说听到声音，说自己得了艾滋病，让自己去死，曾跑到立交桥上，后因声音不让跳，就没跳下去，上课注意力不集中，认
女性，26岁，两年前在工作中发生过一次失误受到领导点名批评，之后她心里总想着“是不是领导看不起我”。从此走进办公室就不舒服，见到同事就紧张、甚至害羞脸红，以至于后来怕见熟人，常常紧张不安、失控感、心慌、出汗，颤抖。检查身体，各方面指标都正常。该患者使
试用下降沿触发的JK触发器设计一位数字的同步8421BCD码加法计数器。
在软件外部环境或数据环境发生变换时对软件进行的修改称为【】
需求分析常用的工具是【】
在管理信息系统开发方法中，对于用户需求不清、业务不确定、需求经常变化的系统应采用的开发方法是_______。
在信息系统文档中，需求变更申请书属于()
随机试题
下列机关之间可以使用平行文的有()
下列是哮喘与肺炎喘嗽的主要区别的是()
患者，男，28岁，持续高热6天，每晨8时测得体温39．3℃左右，下午4时测得体温39．8℃左右，精神萎靡。下列护理措施哪项不妥
房地产经纪机构最新的内部组织结构模式是()。[2006年考试真题]
下列物质中，熔点由低到高排列的顺序应该是()。
对外开放的基本格局主要包括()。
提出一个问题往往比解决问题更重要，因为解决问题也许是一个数学上或试验上的技能而已。而提出新问题，则需要有创造性和想象力，而且标志着科学的真正进步。由此可知：
第一次国共合作正式形成的标志是
Theenergycrisis,whichisbeingfeltaroundtheworld,hasdramatizedhowtherecklessdespoilingoftheearth’sresourceshas
A—actionadvertisingJ—magazineadvertisingB—airportadvertisingK—neonlightadvertisingC—billboardadvertisingL—
最新回复
(
0
)
