需求分析的步骤 需求获取 °需求提炼:分析建模(通过数学建模、 有穷状态机、Z语言、 Petri网等形式 或半形式化方法导出软件的逻辑模型) °需求描述:编写《需求规格说明书》 需求验证需求分析的步骤 •需求获取 •需求提炼：分析建模(通过数学建模、 有穷状态机、Z语言、Petri网等形式 或半形式化方法导出软件的逻辑模型) •需求描述：编写《需求规格说明书》 •需求验证