软件方法学是以软件开发方法为研究对象的学科。其中，（自顶向下开发方法）是先对最高层次中的问题进行定义、设计、编程和测试，而将其中未解决的问题作为一个子任务放到下一层次中去解决。（自底向上开发方法）是根据系统功能要求，从具体的器件、逻辑部件或者相似系统开始，通过对其进行相互连接、修改和扩大，构成所要求的系统。（形式化开发方法）是建立在严格数学基础上的软件开发方法。
软件开发方法学涵盖多种典型开发方法，各有核心逻辑与适用场景。自顶向下开发方法遵循从上到下、逐层分解的思路，先聚焦最高层级的问题完成定义、设计、开发与测试，将未解决的内容拆解为子任务下放至下一层级处理，适合需求明确、结构化程度高的大型系统开发，能有效把控整体架构的一致性。自底向上开发方法则从具体的器件、逻辑模块或相似已有系统切入，通过组件间的连接、修改与扩展来搭建目标系统，多用于底层组件清晰、需逐步集成的场景，便于利用现有资源完成系统构建。形式化开发方法以严格的数学理论为基础，借助数学模型、形式化描述语言来精准定义软件需求与设计，可通过数学推导验证软件的正确性与可靠性，这类方法对安全性、稳定性要求极高的领域如航空航天、医疗嵌入式软件等尤为适用。此外，软件开发领域还有面向对象、原型开发等其他方法，共同构成覆盖不同开发需求的方法体系。
本题考察的是软件开发方法学的分类与特点。
面向对象开发方法：是一种基于对象、类和继承机制的方法，不；形式化开发方法：强调严格的数学模型，不符合分层逐步求精的过程；非形式化开发方法：强调经验和直觉，并没有“逐层分解”的特征。
本小问答案是 自顶向下开发方法。自顶向下开发方法遵循从上到下、逐层分解的思路，先聚焦最高层级的问题完成定义、设计、开发与测试，将未解决的内容拆解为子任务下放至下一层级处理，适合需求明确、结构化程度高的大型系统开发，能有效把控整体架构的一致性。
因此，选项 D 正确。