需求工程

1需求启发

发现系统预期需求的过程。主要采用访谈、问卷调查等等

2需求分析

解决问题，就需求的变化达成一致，帮助开发人员理解和构建系统。使用实体关系图（ERD），数据流图（DFD），状态转换图（STD），活动图和用例图等不同的图表来描述不同详细程度的需求。有助于开发人员理解需求。模糊的需求可以通过查看需求文档来确定。 在审阅文件时可以发现需求冲突和不切实际的要求等错误。

3需求文档

用来描述需求的文档。

（1）数据流图（DFD）

是一种便于用户理解和分析系统数据流程的图形工具，他摆脱了系统和具体内容，精确的在逻辑上描述系统的功能、输入、输出和数据存储等，是系统逻辑模型的重要组成部分。

（2）实体关系图（ERD）

是指提供了表示实体型、属性和联系的方法，用来描述现实世界的概念模型。E-R方法:是“实体-联系方法”（Entity-Relationship Approach）的简称。它是描述现实世界概念结构模型的有效方法。

（3）用例图（Use Case Diagram）

用例图是从用户角度描述系统功能， 是用户所能观察到的系统功能的模型图，用例是系统中的一个功能单元

（4）形式化方法（Formal Notation）

要求的正式规范是基于数学符号。 这有助于验证要求的不完整性和正确性。 他们也有助于消除需求的不明确性。 形式化方法主要集中在数据及其功能上。 如果为这种形式化规范开发的自动化工具比这种方法更有用。
形式规范语言有三个组成部分。 语法指定用于表示数据的特定符号。 语义用于表示系统需求。关系是用来指示对象正确功能的规则

（5）状态转换图（State Transition Diagram）

通过描绘系统的状态及引起系统状态转换的事件，来表示系统的行为。此外状态转换图还指明了作为特定事件的结果系统将做哪些动作（例如，处理数据）。

（6）交互图（Interaction Diagram）

用来描述系统中的对象是如何进行相互作用的。即一组对象是如何进行消息传递的。

7总结

需求文档使用了UML中的图：用例图，状态转换图：状态图，活动图，交互图：顺序图，协作图。UML是面向对象的模型

结构化分析：数据流图

形式化方法：使用数学语言描述需求，可以用来验证完整性和一致性