需求验证是为了尽量不给设计、实现、测试等后继开发活动带来不必要的影响，对需求规格说明文档中定义的需求是否正确、准确地反应用户的意图进行验证的一个活动。

需求基线就是被明确和固定的需求集合，是项目团队需要在某一特定产品版本中实现的特征和需求的集合。

需求规格说明就是将需求及其软件解决方案进行定义和文档化，并传递给开发人员的需求工程活动。

需求获取就是从人员、资料和环境中得到系统开发所需要的相关信息的过程。

IPO图是输入、处理、输出图的简称，能够方便地描绘输入数据、对数据的处理和输出数据之间的关系。

状态转换图（简称为状态图）通过描绘系统的状态及引起系统状态转换的事件，来表示系统的行为。提供了行为建模机制。

每个属性值都必须是原子值，即仅仅是一个简单值而不含内部结构。