软件设计阶段的输出主要是()。