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

admin2016-12-22 42

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

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

答案B

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

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

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

软件工程

理工类

相关试题推荐

年长儿泌尿系统感染的临床表现为()
男性，35岁，自由职业。移民国外，因语言困难，无法和人交流，渐出现心烦、心悸、紧张，惶惑不知所措，易激动，有时又沮丧，感觉无前途，持续约半年。平素性格内向、胆小。该病患者发病过程中不出现的症状是()
女性，20岁，中专学生，未婚。现病史：半年前和同学发生一些矛盾，之后不上学，认为同学合伙欺负她，恐惧、紧张、回家后不愿出门、不愿见人，父母劝说，有时不回答，有时又称心烦“别理我”伴失眠，有时整夜不睡、发呆发愣，近一周明显加重，总想半夜外出。因护理困难，由
简述RogersCR心理咨询方法中的表达。
女性，25岁，近半年来经常过分担心自己会出现不好的事情，终日心烦意乱，坐卧不宁，注意力难以集中，失眠，对日常生活中的事物失去兴趣，以致工作受到严重影响，由家人送入医院。用地西泮对该患者治疗的常用剂量是()
男性，27岁，过去3～4天未睡过觉，整夜不眠打扫公寓，变得非常易怒暴躁，言语快且声音大，很难被打断，患者声称其情绪“很好”，自己注定非同一般。思维过程漫无边际，否认有任何自杀与杀人意念、幻觉或妄想。门诊诊断为“躁狂状态”。若该患者不能耐受碳酸锂治疗，使
人们要求自己的行为符合理想标准，属于人格结构中的()
健康教育研究领域按不同分类标准分为：按场所或目标人群、____________、按业务技术或责任。
下列工作中，不属于软件维护范畴的是【】
若系统数学模型F(s)=，其f(t)是_________。

随机试题

决定骨盆入口平面大小的主要径线是
男性患者，出现呕吐，呕吐物为胃内容物，经检查诊断为中枢性呕吐，该患者呕吐的病因为
关于生态系统，下列表述不正确的是()。
下列属于施工安全隐患处理原则的有()。
浙江省人口最多的城市是()市。
Thesedaysitisfoundthatschoolstudentshardlyhaveanysports.Isitbecausetheyhaveno【C1】______insports?Itmaynotbe
副科长：小邓啊，今天都周三了，交给你的材料整理完了吗?小邓：还没弄完呢。副科长：明天能按时交给我吗?小邓：估计明天也弄不完，还有几个县的数据没交上来。副科长：那你去催催他们啊!小邓：催过了，他们不交，我有什么办法呀!副科
一些国家和国际组织将国际油价____________归咎为中国石油进口，最近更是提出中国能源消费责任论。在____________中国能源消费责任论时，颇有一种“你错了，你要好好检讨，你得立马改正”的教训味道。填入画横线部分最恰当的一项是：
设二随机变量(X，Y)服从二维正态分布，则随机变量U＝X＋Y与V＝X－Y不相关的充分必要条件为()．
Policefiredteargasandarrestedmorethan5,000passivelyresistingprotestorsFridayinanattempttobreakupthelargest

最新回复(0)

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

软件工程

理工类

年长儿泌尿系统感染的临床表现为()

男性，35岁，自由职业。移民国外，因语言困难，无法和人交流，渐出现心烦、心悸、紧张，惶惑不知所措，易激动，有时又沮丧，感觉无前途，持续约半年。平素性格内向、胆小。该病患者发病过程中不出现的症状是()

简述RogersCR心理咨询方法中的表达。

女性，25岁，近半年来经常过分担心自己会出现不好的事情，终日心烦意乱，坐卧不宁，注意力难以集中，失眠，对日常生活中的事物失去兴趣，以致工作受到严重影响，由家人送入医院。用地西泮对该患者治疗的常用剂量是()

人们要求自己的行为符合理想标准，属于人格结构中的()

健康教育研究领域按不同分类标准分为：按场所或目标人群、____________、按业务技术或责任。

下列工作中，不属于软件维护范畴的是【】

若系统数学模型F(s)=，其f(t)是_________。

决定骨盆入口平面大小的主要径线是

男性患者，出现呕吐，呕吐物为胃内容物，经检查诊断为中枢性呕吐，该患者呕吐的病因为

关于生态系统，下列表述不正确的是()。

下列属于施工安全隐患处理原则的有()。

浙江省人口最多的城市是()市。

Thesedaysitisfoundthatschoolstudentshardlyhaveanysports.Isitbecausetheyhaveno【C1】______insports?Itmaynotbe

设二随机变量(X，Y)服从二维正态分布，则随机变量U＝X＋Y与V＝X－Y不相关的充分必要条件为()．

Policefiredteargasandarrestedmorethan5,000passivelyresistingprotestorsFridayinanattempttobreakupthelargest