2.5.1 制定软件需求规格说明的原则 　　1979年由Balzer和Goldman提出了如左所示8条原则。 　　尽管Balzer和Goldman提出的这8条原则主要用于基于形式化规格说明语言之上的需求定义的完备性，但这些原则对于其它各种形式的规格说明都适用。当然要结合实际来应用上述的原则。