人们习惯于用自然语言来描述软件需求，但这会产生许多意想不到的问题，如不精确、二义性等。因此，需要采用适当的方法形成一致的、完备的和无二义性的软件需求规格说明。通常，编写软件需求规格说明有三种方法： ＊ 将结构化语言与自然语言结合，编写文本型文档； ＊ 建立可视化的模型； ＊ 采用形式化的方法进行需求规格说明，如Z模式、Petri Net等。