规格说明必须包括系统运行环境 a规格说明必须是一个认识模型 a规格说明必须是可操作的 a规格说明必须容许不完备性并允许 扩充 规格说明必须局部化和松散耦合◼ 规格说明必须包括系统运行环境 ◼ 规格说明必须是一个认识模型 ◼ 规格说明必须是可操作的 ◼ 规格说明必须容许不完备性并允许 扩充 ◼ 规格说明必须局部化和松散耦合