瀑布模型规定了各开发阶段的活动：系统需求、软件需求、__________、设计、__________、测试和运行。
对于单___________个需求必须具有的基本性质：必要的、___________、可测的、___________以及可测量的。
针对开发的CMMl是一个有关产品和服务的过程改善的成熟度模型，集成了3个源模型：____________、系统工程CMM和___________。
以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
CMMl能力等级中的4级是（）
