软件方法学是以软件开发方法为研究对象的学科。其中，（ ）是先对最高层次中的问题进行定义、设计、编程和测试，而将其中未解决的问题作为一个子任务放到下一层次中去解决。（ ）是根据系统功能要求，从具体的器件、逻辑部件或者相似系统开始，通过对其进行相互连接、修改和扩大，构成所要求的系统。（ ）是建立在严格数学基础上的软件开发方法。
问题1选项
A.面向对象开发方法
B.形式化开发方法
C.非形式化开发方法
D.自顶向下开发方法
问题2选项
A.自底向上开发方法
B.形式化开发方法
C.非形式化开发方法
D.原型开发方法
问题3选项
A.自底向上开发方法
B.形式化开发方法
C.非形式化开发方法
D.自顶向下开发方法
第1题:
本题是对软件开发方法相关内容的考查。
软件开发方法是指软件开发过程所遵循的办法和步骤，从不同的角度可以对软件开发方法进行不同的分类。
从开发风范上看，可分为自顶向下的开发方法和自底向上的开发方法。（在实际软件开发中，大都是两种方法结合，只不过是应用于开发的不同阶段以何者为主而已）
“先对最高层次中的问题进行定义、设计、编程和测试，而将其中未解决的问题作为一个子任务放到下一层次中去解决”描述的是自顶向下的开发。第一空选择D选项。
“根据系统功能要求，从具体的器件、逻辑部件或者相似系统开始，通过对其进行相互连接、修改和扩大，构成所要求的系统”描述的是自底向上的开发。第二空选择A选项。
从性质上看，可分为形式化方法和非形式化方法。
形式化方法是一种具有坚实数学基础的方法，从而允许对系统和开发过程做严格处理和论证，适用于那些系统安全级别要求极高的软件的开发。第三空选择B选项。
非形式化方法则不把严格性作为其主要着眼点，通常以各种开发模型的形式得以体现。
从适应范围来看，可分为整体性方法与局部性方法。适用于软件开发全过程的方法称为整体性方法；适用于开发过程某个具体阶段的软件方法称为局部性方法。
第2题:
第3题:
