以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
软件基本过程是指那些与软件生产直接相关的活动集，可分为获取过程、供应过程、运行过程、维护过程和（）
在常见的软件开发模型中，能体现软件创建所固有的迭代和无间隙特征的是（）
简述RUP设计模型以及包含的元素。
简述因果图方法生成测试用例的基本步骤。