摘要： 软件规格说明的正确性是最终目标代码正确性的关键。本文从完全性、一致性、冗余性和类型检查四个方而对Ｚ语言规格说明加以检验，使能尽早发现错误、提高软件正确性、降低开发开销。

关键词: 规格说明；模式；完全性；一致性；冗余性；类型检查

中图分类号: 

• TP312