南华大学学报(自然科学版)
南華大學學報(自然科學版)
남화대학학보(자연과학판)
JOURNAL OF NANHUA UNIVERSITY(SCIENCE AND TECHNOLOGY)
2009年
4期
79-83
,共5页
登陆系统%Z语言%形式化规格%验证
登陸繫統%Z語言%形式化規格%驗證
등륙계통%Z어언%형식화규격%험증
Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明,接着通过形式化验证,证明设计的规格说明能够满足用户的需求,提高了系统的可靠性和稳定性.
Z語言是一種基于集閤和一階謂詞邏輯的模式規約語言,可產生精確地需求規格說明.本文用形式化語言Z對互聯網登陸繫統的主要操作模式進行規格說明,接著通過形式化驗證,證明設計的規格說明能夠滿足用戶的需求,提高瞭繫統的可靠性和穩定性.
Z어언시일충기우집합화일계위사라집적모식규약어언,가산생정학지수구규격설명.본문용형식화어언Z대호련망등륙계통적주요조작모식진행규격설명,접착통과형식화험증,증명설계적규격설명능구만족용호적수구,제고료계통적가고성화은정성.