| Z规格说明的系统不变式及其抽取 |
| |
| 引用本文： | 明继军,朱关铭,缪淮扣. Z规格说明的系统不变式及其抽取[J]. 上海大学学报(自然科学版), 1999, 0(Z1) |
| |
| 作者姓名： | 明继军 朱关铭 缪淮扣 |
| |
| 作者单位： | 上海大学计算机工程与科学学院!上海201800 |
| |
| 基金项目： | 国家自然科学基金(69773038)，上海教委科技发展基金资助项目(97A12) |
| |
| 摘 要： | 系统状态转换空间的系统不变式是整个系统状态转换空间中保持不变的状态属性,系统不变式的精确描述及其抽取使规格说明简洁,合理且可读性更强,同时可以使规格说明到可执行软件代码的转换容易实践,本文在讨论系统不变式的描述的基础上,提出一种新的系统不变式抽取的方法.
|
| 关 键 词： | 规格说明 系统不变式 系统状态空间 系统状态转换空间 操作空间 操作不变式 |
System Invariants and its Extracting in Z Specifications |
| |
| MING Ji-jun,ZHU Guan-ming,MIAO Huai-kou. System Invariants and its Extracting in Z Specifications[J]. Journal of Shanghai University(Natural Science), 1999, 0(Z1) |
| |
| Authors: | MING Ji-jun ZHU Guan-ming MIAO Huai-kou |
| |
| Abstract: | |
| |
| Keywords: | specification system invariant system state space system state transferring space operational space operational invariant |
| 本文献已被 CNKI 等数据库收录！ |
|
