本题考察的是软件开发模型的选型，尤其是在需求不确定情况下的应对方法。
软件开发模型选型需匹配项目需求特性，传统模型如瀑布式采用线性流程，依赖项目初期明确完整的需求，需求变更成本极高，仅适用于需求稳定场景。形式化开发基于数学建模，对需求精准度要求严苛，多用于航天、核电等安全关键类系统。结构化开发侧重分层分解系统，同样需要早期需求相对清晰。而以极限编程为代表的敏捷开发模型，核心特点是小步迭代、快速交付、持续响应变化，能在需求模糊、易变动的项目中，通过多次迭代逐步梳理明确需求，更适配Web应用、创新型项目这类需求易变的场景。
本小问答案是 极限编程。题干中的“在项目初期，客户对系统的基本功能、表现形式等要求并不明确，在这种情况下”对应极限编程。
因此，选项 D 正确。