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