北京理工大学 系统需求描述工具 描述工具 说明 结构化自然语 依赖于定义标准格式或模板来表达需求 PDL语言 比一般的计算机高级语言更接近自然语言 图形化工具通过图形语言(辅之于文本注释)来定义系 统的功能需求。如SADT,基于用例的描述等 形式化工具于有限状态机、集合等数学工具形式化地 描述需求。系统需求描述工具 描述工具 说明 结构化自然语 言 依赖于定义标准格式或模板来表达需求 PDL语言 比一般的计算机高级语言更接近自然语言 图形化工具 通过图形语言（辅之于文本注释）来定义系 统的功能需求。如SADT,基于用例的描述等 形式化工具 基于有限状态机、集合等数学工具形式化地 描述需求