以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
一组模块共同引用一个全局数据项，则该组模块间的耦合类型是（）
在常见的软件开发模型中，能体现软件创建所固有的迭代和无间隙特征的是（）
简述因果图方法生成测试用例的基本步骤。