首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
软件方法学是以软件方法为研究对象的学科。从开发风范上看,可分为(99)。从性质上看,可分为(100)。从适应范围来看,可分为(101)。形式方法的目的是把软件作为数学来重新发现。形式方法被用来避免系统中的(102)、不一致性。软件自动化方法是指利用计算机使
软件方法学是以软件方法为研究对象的学科。从开发风范上看,可分为(99)。从性质上看,可分为(100)。从适应范围来看,可分为(101)。形式方法的目的是把软件作为数学来重新发现。形式方法被用来避免系统中的(102)、不一致性。软件自动化方法是指利用计算机使
admin
2019-04-08
54
问题
软件方法学是以软件方法为研究对象的学科。从开发风范上看,可分为(99)。从性质上看,可分为(100)。从适应范围来看,可分为(101)。形式方法的目的是把软件作为数学来重新发现。形式方法被用来避免系统中的(102)、不一致性。软件自动化方法是指利用计算机使软件的设计实现自动化的方法和相关的技术。软件自动化的实现途径有四种:过程途径、归纳途径、(103)。
选项
A、演绎途径、编译途径
B、转换途径、编译途径
C、编译途径、解释途径
D、演绎途径、转换途径
答案
D
解析
软件方法学是以软件方法为研究对象的学科。从开发方法上看,可分为自顶向下开发方法和自底向上开发方法。自顶向下开发方法强调开发过程是由问题到解答、由总体到局部、由一般到具体;自底向上开发方法从系统实现的最基础部分着手,由简单到复杂,逐层向上构造,直至得到所需的软件。从性质上看,软件方法学可分为形式方法与非形式方法,形式方法是建立在严格数学基础上的软件开发方法。在软件开发的各个阶段中,凡是采用严格的数学语言,具有精确的数学语义的方法,称为形式方法。采用形式方法可避免系统中的歧义性、不完全性和不一致性。而非形式方法则不把严格作为其主要着眼点。从适用范围上看,软件方法学可分为整体性方法和局部性方法。整体性方祛适用于软件开发的全过程,如自顶向下方法、自底向上方法、软件自动化方法;局部性方法适用于软件开发过程的某个具体阶段,如各种需求分析方法、设计方法等。软件自动化方法是尽可能借助计算机系统实现软件开发的方法。也可狭义地理解为从形式的软件功能规约到可执行的程序代码这一过程的自动化,其实现途径主要有过程途径(过程实现)、演绎途径(演绎综合)、转换途径(程序转换)、归纳途径(归纳综合)等。
转载请注明原文地址:https://kaotiyun.com/show/ojLZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
建立一个科技公司的组织图,其下有三个部门,分别为:销售部、研发部与财务部。
在工具栏上添加插入分页命令按钮。
请利用“选择和可见性”窗格,隐藏幻灯片中部分内容。
请将当前单元格中输入“Excel2007办公培训软件”,要求在“Excel2007”后强制输入换行,输入后确认。
请设置Word选项状态,使“选择时显示浮动工具栏”为启用状态,配色方案为“银波荡漾”,再设置始终在屏幕上显示“段落标记”。
分布式数据库系统不具有的特点是()。
下列工具中不是需求分析常用工具的是()。
关系数据库管理系统能实现的专门关系运算包括______。
随机试题
剪切文件的快捷键组合是【】
β-肾上腺素能受体分布最多的是
A.X线平片B.DSAC.MRID.CTE.骨放射性核素显像以下病变首选的影像学检查方法是骨肉瘤
动脉导管解剖上关闭年龄约80%的婴儿是()
在设计阶段进行限额设计的最高限额是()
下列关于无效劳动合同,叙述正确的有()。
339,516,236,729,428,()
国家行政权力的载体是()。
Accordingtocertainbeercommercials,thecontemporaryversionofsuccess【C1】______inmovinguptoapremiumbrandthatcostsa
新奥尔良方法将数据库设计分为四个阶段,它们是
最新回复
(
0
)