以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
在常见的软件开发模型中，能体现软件创建所固有的迭代和无间隙特征的是（）
简述RUP设计模型以及包含的元素。
简述事务设计的基本步骤。
假设选修课程数目的输入范围为1-4，则根据黑盒测试中的等价类划分技术，下列划分正确的是（）
通过复审有关需要的陈述，或功能和性能目标的陈述等技术文档，而获取相关需求的初始发现需求技术是（）