软件方法学是以软件方法为研究对象的一门学科。从开发风范上看,可分为( )。从性质上看,可分为( )。从适应范围来看,可分为( )。
软件自动化方法是指利用计算机使软件的设计实现自动化的方法和相关的技术。软件自动化的实现途径有4种:过程途径、归纳途径、( )。
形式方法的目的是把软件作为数学来重新发现。形式方法被用来避免系统中的( )、不一致性。
供选择的答案:
A.扫描二维码进行安装
B.利用手机内预装的“应用市场”安装
C.通过数据线连接到计算机,借助各类手机助手软件进行安装
D.利用浏览器下载安装
A. SQLServer
B. PowerPoint2010
C. MicrosoftPublisher2010
D. 交换机
A.统一数据资源
B.统一信箱帐号
C.统一信息存储
D.统一目录信息
A.是在计算机上运行的教学辅助软件
B.利用超文本,超媒体的形式展示课程的基本知识,重点,难点,主要分析方法和典型例题,案例的解析等
C.可以实现问与答,分步骤演示,灵活的查询和仿真教学,模拟试验等功能
D.具有很好的交互性,可以模拟练习,模拟考试,主要用于学生学习时复习,练习,测试和模拟试验等
A.是在计算机上运行的教学辅助软件
B.可以实现问与答,分步骤演示,灵活的查询和仿真教学,模拟试验等功能
C.利用超文本,超媒体的形式展示课程的基本知识,重点,难点,主要分析方法和典型例题,案例的解析等
D.具有很好的交互性,可以模拟练习,模拟考试,主要用于学生学习时复习,练习,测试和模拟试验等
A、是在计算机上运行的教学辅助软件
B、利用超文本,超媒体的形式展示课程的基本知识,重点,难点,主要分析方法和典型例题,案例的解析等
C、可以实现问与答,分步骤演示,灵活的查询和仿真教学,模拟试验等功能
D、具有很好的交互性,可以模拟练习,模拟考试,主要用于学生学习时复习,练习,测试和模拟试验等