题目内容（请给出正确答案）

[主观题]

形式化是软件自动化发展的基础。形式化方法是将需求规格说明用来描述。典型的有及__。

提问人：网友anonymity 发布时间：2022-01-07

参考答案

查看官方参考答案

如搜索结果不匹配，请联系老师获取答案

您可能会需要：

重置密码查看订单联系客服

安装简答题APP，拍照搜题省时又省心！

更多“形式化是软件自动化发展的基础。形式化方法是将需求规格说明用_…”相关的问题

第1题

点击查看答案

第2题

结构化语言是介于自然语言(英语和汉语)和形式化语言之间的一种半形式语言。它的结构可分成外层和内层两层，外层用来描述______，采用______、______、三种基本结构。

点击查看答案

第3题

SA方法利用图形等半形式化的描述方式表达需求，简明易懂，用它们形成需求说明书中的主要部分。这些描述工具是______、______、______、______、______。

点击查看答案

第4题

流向数据存储的数据流可理解为______文件或______文件，从数据存储流出的数据可理解为从文件______数据或得到______结果。

点击查看答案

第5题

概要设计文档主要包括哪些文档？

点击查看答案

第6题

( )是数据说明、可执行语句等程序对象的集合，它是单独命名的，而且可通过名字访问。

A．模块化 B．抽象 C．精化 D．模块

点击查看答案

第7题

( )把已确定的软件需求转换成特定形式的设计表示，使其得以实现。

A．系统设计 B．详细设计 C．逻辑设计 D．软件设计

点击查看答案

第8题

块间联系和块内联系是评价程序质量的重要标准。联系的方式、共用信息的作用，共用信息的数量和界面的( )等元素确定了块间联系的大小。

A．友好性 B．坚固性 C．清晰性 D．安全性

点击查看答案

第9题

( )着重反映的是模块间的隶属关系，即模块间的调用关系和层次关系。

A．程序流程图 B．数据流图 C．E-R图 D．结构图

点击查看答案

第10题

两个模块通过全程变量相互作用，这种耦合方式称为______。

点击查看答案

警告：系统检测到您的账号存在安全风险

为了保护您的账号安全，请在“简答题”公众号进行验证，点击“官网服务”-“账号验证”后输入验证码“”完成验证，验证成功后方可继续查看答案！

微信搜一搜

简答题

点击打开微信

警告：系统检测到您的账号存在安全风险

抱歉，您的账号因涉嫌违反简答题购买须知被冻结。您可在“简答题”微信公众号中的“官网服务”-“账号解封申请”申请解封，或联系客服。

微信搜一搜

简答题

点击打开微信