对于形式化需求规约描述不正确的有 ( )

admin2016-12-22 19

问题对于形式化需求规约描述不正确的有 ( )

选项 A、它的编写基于良构数学概念的符号体系
B、它以半形式化符号体系来表达需求规约
C、一般伴有解释性注释的支持
D、定义了一组支持逻辑推理的证明规则

答案B

解析选项B是对于半形式化需求规约的描述。

转载请注明原文地址:https://kaotiyun.com/show/yajx777K

本试题收录于：软件工程题库理工类分类

软件工程

理工类

相关试题推荐

男性，22岁，大学生。平时性格内向，近2周来表现健谈，说话滔滔不绝、口若悬河，自觉脑子反应快，特别灵活，思维敏捷，说话的主题极易随环境而改变，无法静下心来学习，且并不认为自己有什么问题，由家属送入医院。判断该患者痊愈的重要指标是()
经典精神分析技术治疗的主要技术有哪几种？
男性，27岁，过去3～4天未睡过觉，整夜不眠打扫公寓，变得非常易怒暴躁，言语快且声音大，很难被打断，患者声称其情绪“很好”，自己注定非同一般。思维过程漫无边际，否认有任何自杀与杀人意念、幻觉或妄想。门诊诊断为“躁狂状态”。该患者的护理不包括(
女性，30岁，大专文化，技术员，已婚。近1年来出现说完话或做完事不能确定，要一遍一遍地问别人是否听清楚了自己讲话的意思，自己是不是做对了，另外还反复关门、关煤气，知道没必要，想摆脱又摆脱不掉，感到十分痛苦。在门诊治疗半年，自觉效果不好，近日失眠、
试用2—4译码器和门电路设计一个故障显示控制电路，要求两台电机A和B正常工作时，绿灯F1亮；一台电机有故障时，黄灯F2亮；两台电机同时有故障时，红灯F3亮。规定电机有故障时为“1’’，正常工作时为“0”；灯亮为“1”，不亮为“0”。要求：用2—4译码
在瀑布模型中，软件需求分析属于【】
对于一棵具有n个节点的树，该树中所有节点的度数之和为_________。
在一个单链表中，已知q所指节点是p所指节点的前趋节点，若在q和p之间插入s所指向的节点，则执行的操作是【】
在数据库的设计中需要确认的需求包括_______要求、处理要求和安全性与完整性要求。

随机试题

甲的一头牛走失，乙牵回关入自家牛棚，准备次日寻找失主。当晚牛棚被台风刮倒，将牛压死。乙将牛肉和牛皮出售，各得款500元和：100元。请人屠宰及销售，支出100元。下列哪一种说法是正确的?()
关于脑血栓形成的描述，下列哪项不正确
关于蛤蚧定喘丸注意事项论述，错误的是
案情：A房地产公司(下称A公司题）与B建筑公司(下称B公司题）达成一项协议，由B公司为A公司承建一栋商品房。合同约定，标的总额6000万元，8个月交工，任何一方违约，按合同总标的额20％支付违约金。合同签订后，为筹集工程建设资金，A公司用其建设用地使用权作
以下对于会审的说法正确的是：
高层工业建筑是指高度超过()m的两层及两层以上的厂房、库房。
为证实所有销售收入是真实的，B注册会计师应选择最有效的具体审计程序是(　　)。Y公司2005年12月20日记录的一笔大额主营业务收入，经审查原始凭证发现，发票开具日期为12月20日，出库单和发运凭证均在2006年1月20日。对此A注册会计师询问了有关人
_______，汗滴禾下土。_______，粒粒皆辛苦。(唐．李绅《悯农》)
瑞士教育家_______________认为教育的目的在于按照自然的法则全面地、和谐地发展儿童的一切天赋力量。
Americansdon’tliketolosewars.Ofcourse,alotdependsonhowyoudefinejustwhatawaris.Thereareshootingwars—theki

最新回复(0)

对于形式化需求规约描述不正确的有 ( )

软件工程

理工类

经典精神分析技术治疗的主要技术有哪几种？

在瀑布模型中，软件需求分析属于【】

对于一棵具有n个节点的树，该树中所有节点的度数之和为_________。

在一个单链表中，已知q所指节点是p所指节点的前趋节点，若在q和p之间插入s所指向的节点，则执行的操作是【】

在数据库的设计中需要确认的需求包括_______要求、处理要求和安全性与完整性要求。

甲的一头牛走失，乙牵回关入自家牛棚，准备次日寻找失主。当晚牛棚被台风刮倒，将牛压死。乙将牛肉和牛皮出售，各得款500元和：100元。请人屠宰及销售，支出100元。下列哪一种说法是正确的?()

关于脑血栓形成的描述，下列哪项不正确

关于蛤蚧定喘丸注意事项论述，错误的是

以下对于会审的说法正确的是：

高层工业建筑是指高度超过()m的两层及两层以上的厂房、库房。

_______，汗滴禾下土。_______，粒粒皆辛苦。(唐．李绅《悯农》)

瑞士教育家_______________认为教育的目的在于按照自然的法则全面地、和谐地发展儿童的一切天赋力量。

Americansdon’tliketolosewars.Ofcourse,alotdependsonhowyoudefinejustwhatawaris.Thereareshootingwars—theki

_，汗滴禾下土。_，粒粒皆辛苦。(唐．李绅《悯农》)