以一种基于良构数学概念的符号体系来编制需求规约,则称为_____________需求规约。
形式化
暂无解析
针对开发的CMMl是一个有关产品和服务的过程改善的成熟度模型,集成了3个源模型:____________、系统工程CMM和___________。
在一个软件结构中,同一个层次上模块总数的最大值是该结构的____________。
假设选修课程数目的输入范围为1-4,则根据黑盒测试中的等价类划分技术,下列划分正确的是()
对于单___________个需求必须具有的基本性质:必要的、___________、可测的、___________以及可测量的。