软件的结构化开发过程各阶段都应产生规范的文档，以下( )是在设计阶段应产生的文档。