（1）非形式化的需求规约。
（2）半形式化的需求规约。
（3）形式化的需求规约。

是一个软件/产品/系统所有需求陈述的正式文档，它表达了一个软件/产品/系统的概念模型。

（1）自悟。
（2）交谈。
（3）观察。
（4）小组会。
（5）提炼。

（1）可靠性。
（2）存活性。
（3）可维护性。
（4）用户友好性。

（1）用户接口。
（2）硬件接口。
（3）软件接口。
（4）通信接口。
（5）内存约束。
（6）运行。
（7）地点需求。