以一种基于良构数学概念的符号体系来编制需求规约,则称为_____________需求规约。
形式化
暂无解析
典型的详细设计工具有程序流程图、盒图、问题分析图和____________。
在常见的软件开发模型中,能体现软件创建所固有的迭代和无间隙特征的是()
CMMl模型提供了两种过程改善路径,一是称为能力等级的过程改善路径,二是称为_________的过程改善路径。
在软件开发中,软件系统模型大体上可分为两类:概念模型和()
简述泛化的概念及其约束。