关于软件方法学的描述，下列哪一项符合“先对最高层次的问题进行定义、设计、编程和测试，然后将未解决的问题作为子任务放到下一层次解决”的方法？

根据题目描述，（1）中的方法符合自顶向下的开发方式，这种方式是先对最高层次的问题进行定义、设计、编程和测试，将未解决的问题放到下一层次解决；（2）描述的是根据系统功能要求，从具体部件开始，通过连接、修改和扩大构成系统，这是非形式化开发方法的特点；（3）建立在严格数学基础上的软件开发方法对应的是形式化开发方法。因此，正确答案是B 形式化开发方法。