软件开发的需求分析阶段形成的文档是：（）。