单项选择题 程序功能、性能、输入、输出、算法、流程逻辑、接口等内容，编写在软件工程（）文档之中。

单项选择题 一个模块调用另一个模块时，传递变量用于选择被调用模块内执行那一条路径的耦合属于（）。

单项选择题 需求分析要开发人员使用形式化的建模方式，形成的输出文档中包括（）。