| 基于Z语言的互联网登陆系统的形式化规格与验证 |
| |
| 引用本文： | 闫仕宇.基于Z语言的互联网登陆系统的形式化规格与验证[J].南华大学学报(自然科学版),2009,23(4):80-83. |
| |
| 作者姓名： | 闫仕宇 |
| |
| 作者单位： | 南华大学,计算机科学与技术学院,湖南,衡阳,421001 |
| |
| 摘 要： | Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明,接着通过形式化验证,证明设计的规格说明能够满足用户的需求,提高了系统的可靠性和稳定性.
|
| 关 键 词： | 登陆系统 Z语言 形式化规格 验证 |
| 收稿时间： | 5/8/2009 12:00:00 AM |
Formal Specification and Verification of the Internet Logged System Based on Z Language |
| |
| YAN Shi-yu.Formal Specification and Verification of the Internet Logged System Based on Z Language[J].Journal of Nanhua University:Science and Technology,2009,23(4):80-83. |
| |
| Authors: | YAN Shi-yu |
| |
| Institution: | School of Computer Science and Technology,University of South China,Hengyang,Hunan 421001,China |
| |
| Abstract: | |
| |
| Keywords: | logged system Z language formal specification verification |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《南华大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《南华大学学报(自然科学版)》下载免费的PDF全文 |
|
