以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
形式化
暂无解析
关联一端的类目对另一端的类目的一种呈现，称为____________。
下列术语可用于表达客观世界中各种各样事物之间的关系的是（）
针对开发的CMMl是一个有关产品和服务的过程改善的成熟度模型，集成了3个源模型：____________、系统工程CMM和___________。
RUP采用_________技术来获取需求。