Z语言模式正确性的检验  

The Checking of Correctness of Z Schemas

作　　者：陈晶 朱关铭[1] 童頫[1] 

机构地区：[1]上海大学计算机系

出　　处：《计算机工程》1995年第5期3-9,共7页Computer Engineering

基　　金：国家863计划资助;上海市高校科技发展基金

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

关 键 词：Z语言 规格说明语言 检验 正确性 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]