本题考察的是软件开发方法学的分类与特点。
问题1
题干描述的是“先对最高层次中的问题进行定义、设计、编程和测试，把未解决的问题留给下一层次处理”。这正是自顶向下开发方法的基本思想。
A选项面向对象开发方法：是一种基于对象、类和继承机制的方法，不符合题干描述。
B选项形式化开发方法：强调严格的数学模型，不符合分层逐步求精的过程。
C选项非形式化开发方法：强调经验和直觉，并没有“逐层分解”的特征。
D选项自顶向下开发方法：符合题干描述，正确。

问题2
题干描述的是“根据系统功能要求，从器件、逻辑部件或相似系统开始，逐步扩展形成所需系统”，这正是自底向上开发方法的思想。
A选项自底向上开发方法：符合题干描述，正确。
B选项形式化开发方法：强调数学建模，与题干不符。
C选项非形式化开发方法：是经验型方法，不是从部件组合出发。
D选项原型开发方法：通过快速构建原型验证需求，不符合题干描述。
所以选 A。

问题3
题干描述的是“建立在严格数学基础上的软件开发方法”，即形式化开发方法。
A选项自底向上开发方法：不是数学模型方法，错误。
B选项形式化开发方法：利用数学方法和形式化描述语言建立严格的软件模型，正确。
C选项非形式化开发方法：不依赖数学方法，错误。
D选项自顶向下开发方法：分层逐步分解，不涉及数学严格性，错误。
所以选 B。