《表1 需求生成方法汇总：美国国防采办中的需求生成机制》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《美国国防采办中的需求生成机制》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

形式化方法主要采用数学语言表达系统需求，通过使用数学符号、法则等对目标系统结构及行为进行描述、推理和分析，使需求模型中含糊的、不完整的、矛盾的以及无法实现的表述能够被准确发现并尽早纠正，最终形成统一、完备的系统需求集合[10]。典型的需求生成方法汇总如表1所示。