基于Z语言的互联网登陆系统的形式化规格与验证

• 作者: 闫仕宇
• 来源期刊: 南华大学学报（自然科学版）
• 学科: 工学
• 关键词: 登陆系统 Z语言 形式化规格 验证
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 数理·计算机科学
• 页码范围: 79-83
• 页数: 5页
• 分类号: TP391.41
• 字数: 3313字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-0062.2009.04.019

摘要

Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明,接着通过形式化验证,证明设计的规格说明能够满足用户的需求,提高了系统的可靠性和稳定性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	闫仕宇	南华大学计算机科学与技术学院	14	22	3.0	4.0