以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
在软件开发中，软件系统模型大体上可分为两类：概念模型和（）
简述泛化的概念及其约束。
如果一个模块的各个成分和同一个功能密切相关，而且一个成分的输出作为另一个成分的输入，则该模块的内聚是__________。
UML的图形化工具分为两类：行为图和（）
简述因果图方法生成测试用例的基本步骤。