首页
形式化的规格说明可以用数学方法研究、验证。（）
精华吧
→
答案
→
博览群书
形式化的规格说明可以用数学方法研究、验证。（）
A、正确
B、错误
正确答案：A
Tag：
规格
数学
方法
时间：2024-10-22 10:46:50
上一篇：
数据结构表示数据元素之间的逻辑关系。（）
下一篇：
人机界面设计与接口设计毫无关系。（）
相关答案
1.
系统流程图是概况地描绘物理系统的传统工具。（）
2.
详细设计的主要任务是设计程序的体系结构，确定程序由哪些模块组成。（）
3.
需求分析主要是确定目标系统必须具备哪些功能。（）
4.
进行总体设计时加强模块间的联系。（）
5.
尽可能使用高级语言编写程序。（）
6.
编程序时应尽可能利用硬件特点以提高程序效率。（）
7.
如果在分析阶段和设计阶段采用的是面向对象的方法，而在编码阶段采用的是面向过程的语言，那么这种翻译就比较困难。（）
8.
软件工程中描述软件生存周期的瀑布模型一般包括计划、需求分析、设计、编码、测试和运行维护等六个阶段。需求分析完成对软件产品在功能、性能、用户接口、运行环境、可靠性、安全性、开发资源、开发进度、开发成本等方面的需求定义。问题定义、可行性分析、需求调查都可能是需求分析中要做的一部分工作。
9.
在软件发展的早期，汇编语言和高级语言尚未出现，人们只能用机器指令来编写程序。为了好读，有的指令系统可以用八进制代码书写。其后，由于汇编语言的出现，人们摆脱了繁重的地址分配等工作，可以用符号编程。随着高级语言的出现和普及，人们用近似于自然语言的语句编写程序，大大减轻了程序员的负担。高级语言的处理，从解释执行到编译执行，处理效率和存储利用率不断提高。
10.
软件设计在管理上划分为概要设计与详细设计两个步骤。概要设计的目标是建立软件的体系结构，完成全局数据结构设计，同时进行处理方式设计、运行配置设计、出错处理设计、故障恢复设计等。详细设计是对每一个模块的操作的控制流程和局部数据结构进行设计。
热门答案
1.
软件工程包括两个要素：方法和工具。
2.
软件是计算机系统中与硬件相互依存的另一部分，它是包括程序、数据及相关文档的完整集合。其中，程序是按事先设计的功能和性能要求执行的指令序列。数据是使程序能够正确操纵信息的数据结构。文档是与程序开发、维护和使用有关的图文材料。需要注意的是，程序与算法在含义上有不同：算法的每一条指令必须是最基本的、必须通过有限步做完，而程序没有这个要求。
3.
从宏观上说，软件危机主要是指：（1）软件的发展赶不上计算机硬件的发展；（2）软件的发展赶不上社会对于软件需求的增长。从具体的软件来说，软件危机是指：（1）软件往往不能按计划、按预算、按时完成；（2）已开发的软件不能很好的使用，甚至很快就不用。
4.
数据流图可以用来抽象地表示系统或软件。它从信息传递和加工的角度，以图形的方式刻画数据流从输入到输出的移动变换过程，同时可以按自顶向下、逐步分解的方法表示内容不断增加的数据流和功能细节。因此，数据流图既提供了功能建模的机制，也提供了信息流建模的机制，从而可以建立起系统或软件的功能模型。
5.
计算机系统的元素可分为过程、硬件、软件、人、数据库和文档。
6.
软件测试的目的是要证明软件本身的正确性。
7.
软件设计阶段的任务是程序员选取一种适当的高级程序设计语言，编写每个功能。（）
8.
采用瀑布模型进行软件开发时，软件与用户见面的时间间隔较长，开发风险较大。（）
9.
甲欲买“全聚德”牌快餐包装烤鸭，临上火车前误购了商标不同而外包装十分近似的显著标明名称为“仝聚德”的烤鸭，遂向“全聚德”公司投诉。“全聚德”公司发现，“仝聚德”烤鸭的价格仅为“全聚德”的1/3。仝聚德公司行为的性质应当是下列哪一种（）
10.
开发商甲与乙订立商品房买卖合同，由于商品房在建设当中，双方前往房屋登记机构办理了预告登记。后来甲欲将该商品房抵押给丙银行借款。下列表述中，正确的有（）。