闫仕宇.基于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 |
基金项目: |
|
摘要点击次数: 1503 |
全文下载次数: 4154 |
中文摘要: |
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阅读器 |
关闭 |