| 闫仕宇.基于Z语言的互联网登陆系统的形式化规格与验证[J].南华大学学报(自然科学版),2009,23(4):80~83.[YAN Shi-yu.Formal Specification and Verification of the Internet Logged System Based on Z Language[J].Journal of University of South China(Science and Technology),2009,23(4):80~83.] |
| 基于Z语言的互联网登陆系统的形式化规格与验证 |
| Formal Specification and Verification of the Internet Logged System Based on Z Language |
| 投稿时间：2009-05-08 |
| DOI： |
| 中文关键词: 登陆系统 Z语言 形式化规格 验证 |
| 英文关键词:logged system Z language formal specification verification |
| 基金项目: |
|
| 摘要点击次数: 1627 |
| 全文下载次数: 4217 |
| 中文摘要: |
| Z语言是一种基于集合和一阶谓词逻辑的模式规约语言，可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明，接着通过形式化验证，证明设计的规格说明能够满足用户的需求，提高了系统的可靠性和稳定性. |
| 英文摘要: |
| Z language is a model-based specification language based on set theory and first-order predicate logic.It can be used to precisely express requirement specifications.This paper formulated the requirements of software with Z language on main module of the Intermet Logged system,then verified it in form.The results show that the specification can meet the users’requirements,advance the reliability and stability of the system. |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| 关闭 |