| Z规格说明的前置条件的简化 |
| |
| 引用本文： | 缪淮扣.Z规格说明的前置条件的简化[J].软件学报,1997,8(9):709-715. |
| |
| 作者姓名： | 缪淮扣 |
| |
| 作者单位： | 上海大学计算机科学系,上海,201800 |
| |
| 基金项目： | 本文研究得到国家863高科技项目基金资助. |
| |
| 摘 要： | 在软件方法学中，形式方法越来越受到人们的重视，并已被应用于软件开发．Z是一种基于数学表示的软件规格说明方法．前置条件的简化是Z规格说明方法中一种标准的检查，本文讨论了Z规格说明中关于操作的前置条件及其计算．提出了简化过程的终止条件，给出了一个用于简化前置条件的算法，该算法可自动产生简化过程的证据．
|
| 关 键 词： | 形式方法 Z规格说明 前置条件 简化 |
| 修稿时间： | 1996/10/17 0:00:00 |
THE SIMPLIFICATION OF PRECONDITION IN Z SPECIFICATIONS |
| |
| MIAO Huaikou.THE SIMPLIFICATION OF PRECONDITION IN Z SPECIFICATIONS[J].Journal of Software,1997,8(9):709-715. |
| |
| Authors: | MIAO Huaikou |
| |
| Affiliation: | Department of Computer Science Shanghai University Shanghai 201800 |
| |
| Abstract: | In software methodology, formal methods is being paid more and more atten-tion and has been applied to software development. Z is a kind of software specification notations based on mathematics. The simplification of precondition is a standard check for Z specifications. This paper discusses the precondition in Z specifications and its calcula-tion, proposes a termination condition for sirnplifying the precondition and presents a sim-plifying algorithm which can automatically produce the justifications during the process of simplifying precondition. |
| |
| Keywords: | Formal methods Z specifications precondition simplification |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
