以一种基于良构数学概念的符号体系来编制需求规约,则称为_____________需求规约。
形式化
暂无解析
结构化分析方法给出了一种能表达系统功能模型的图形化工具是____________。
由于软件错误的复杂性,在软件工程测试中,应综合运用测试技术,并且应实施合理的测试序列:单元测试、___________、有效性测试和系统测试。
在一个软件结构中,同一个层次上模块总数的最大值是该结构的____________。
软件开发的本质概括为不同抽象层术语之间以及不同抽象层处理逻辑之间的_______________。
针对开发的CMMl是一个有关产品和服务的过程改善的成熟度模型,集成了3个源模型:____________、系统工程CMM和___________。