结构化分析方法给出了一种能表达系统功能模型的图形化工具是____________。

以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。

RUP采用_________技术来获取需求。

软件开发的本质概括为不同抽象层术语之间以及不同抽象层处理逻辑之间的_______________。