首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
软件方法学是以软件方法为研究对象的学科。从开发风范上看,可分为(99)。从性质上看,可分为(100)。从适应范围来看,可分为(101)。形式方法的目的是把软件作为数学来重新发现。形式方法被用来避免系统中的(102)、不一致性。软件自动化方法是指利用计算机使
软件方法学是以软件方法为研究对象的学科。从开发风范上看,可分为(99)。从性质上看,可分为(100)。从适应范围来看,可分为(101)。形式方法的目的是把软件作为数学来重新发现。形式方法被用来避免系统中的(102)、不一致性。软件自动化方法是指利用计算机使
admin
2019-04-08
36
问题
软件方法学是以软件方法为研究对象的学科。从开发风范上看,可分为(99)。从性质上看,可分为(100)。从适应范围来看,可分为(101)。形式方法的目的是把软件作为数学来重新发现。形式方法被用来避免系统中的(102)、不一致性。软件自动化方法是指利用计算机使软件的设计实现自动化的方法和相关的技术。软件自动化的实现途径有四种:过程途径、归纳途径、(103)。
选项
A、演绎途径、编译途径
B、转换途径、编译途径
C、编译途径、解释途径
D、演绎途径、转换途径
答案
D
解析
软件方法学是以软件方法为研究对象的学科。从开发方法上看,可分为自顶向下开发方法和自底向上开发方法。自顶向下开发方法强调开发过程是由问题到解答、由总体到局部、由一般到具体;自底向上开发方法从系统实现的最基础部分着手,由简单到复杂,逐层向上构造,直至得到所需的软件。从性质上看,软件方法学可分为形式方法与非形式方法,形式方法是建立在严格数学基础上的软件开发方法。在软件开发的各个阶段中,凡是采用严格的数学语言,具有精确的数学语义的方法,称为形式方法。采用形式方法可避免系统中的歧义性、不完全性和不一致性。而非形式方法则不把严格作为其主要着眼点。从适用范围上看,软件方法学可分为整体性方法和局部性方法。整体性方祛适用于软件开发的全过程,如自顶向下方法、自底向上方法、软件自动化方法;局部性方法适用于软件开发过程的某个具体阶段,如各种需求分析方法、设计方法等。软件自动化方法是尽可能借助计算机系统实现软件开发的方法。也可狭义地理解为从形式的软件功能规约到可执行的程序代码这一过程的自动化,其实现途径主要有过程途径(过程实现)、演绎途径(演绎综合)、转换途径(程序转换)、归纳途径(归纳综合)等。
转载请注明原文地址:https://kaotiyun.com/show/ojLZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
在工具栏上添加插入分页命令按钮。
将页面中所有的对象同时选中,然后根据对象之间的相对位置右对齐。
请在幻灯片中插入剪辑管理器中的第1个声音,单击时播放幻灯片。
请将当前单元格中输入“Excel2007办公培训软件”,要求在“Excel2007”后强制输入换行,输入后确认。
设置D列单元格的日期格式为“年*月*日”不受操作系统设置的影响。
数据库系统的三级模式分别为()模式、内部级模式与外部级模式。
下列叙述中,不属于结构化程序设计方法的主要原则的是()。
在单链表中,增加头结点的目的是()。
下列工具中不是需求分析常用工具的是()。
随机试题
芒硝的功效是
霍乱弧菌最重要的致病物质是
癃闭的病位虽在膀胱,但与本病关系密切的脏腑还有
A、阻断中枢5一HT受体B、使突触间隙的NA浓度下降C、阻断中枢多巴胺D2受体D、抑制中枢PG合成E、抑制外周PG合成解热镇痛药的解热作用机制是
对全身作用的栓剂说法错误的是
应是执业药师应具有药师以上技术职称,或具有中专(含)以上药学或相关专业的学历
单机试运行负责组织的单位是()。
《中华人民共和国建筑法》规定,( )可以规定实行强制监理的建筑工程的范围。
丙公司2017年12月31日的资产负债表显示:资产总额年初数和年末数分别为4800万元和5000万元,负债总额年初数和年末数分别为2400万元和2500万元,丙公司2017年度收入为7350万元,净利润为294万元。要求:计算总资产
Notonly______(他向我收费过高),buthedidn’tdoagoodrepairjobeither.
最新回复
(
0
)