以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。

一组模块共同引用一个全局数据项，则该组模块间的耦合类型是（）

对于单___________个需求必须具有的基本性质：必要的、___________、可测的、___________以及可测量的。

如果一个模块的各个成分和同一个功能密切相关，而且一个成分的输出作为另一个成分的输入，则该模块的内聚是__________。

通过复审有关需要的陈述，或功能和性能目标的陈述等技术文档，而获取相关需求的初始发现需求技术是（）