以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
典型的详细设计工具有程序流程图、盒图、问题分析图和____________。
根据RUP实现活动，输入为设计类和接口，活动为实现类，则输出为（）
简述需求规约的概念及其基本性质。
在常见的软件开发模型中，能体现软件创建所固有的迭代和无间隙特征的是（）