论文部分内容阅读
Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明,接着通过形式化验证,证明设计的规格说明能够满足用户的需求,提高了系统的可靠性和稳定性.
基于Z语言的互联网登陆系统的形式化规格与验证
【摘 要】
：
Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明,接着通过形式化验证,证明设计
【机 构】
：
南华大学计算机科学与技术学院
【出 处】
：
南华大学学报：自然科学版
【发表日期】
：
2009年4期
其他文献
目的探讨直立倾斜试验中诱发出阵发性心房颤动的原因。方法回顾分析1例在直立倾斜试验中诱发出迷走神经性房颤的血管迷走性晕厥患儿的临床资料,同时复习相关文献。结果患儿,
分析了传统W eb GIS开发技术的特点,提出了基于W eb Services的思想来构建分布式W eb GIS系统,并采用相似搜索技术来发现W eb服务.
介绍CNG-3产品的设计、试验和制造过程的全生命周期,针对CNG-3产品全生命周期中的特殊要求,建立一种面向设计、试验、制造过程的数据集成模型.并介绍该模型的信息流以及模型
近几年来,户式空调的应用十分广泛.然而,人们在选择空调设备时存在着较大的误区:户式空调负荷普遍参照宾馆建筑的空调负荷,可宾馆客房和住宅之间的空调负荷存在着比较大的差
颜色与人类的生活息息相关,是人类认识世界的一个重要领域。但颜色词除了其本身所特有的物理属性,还由于其受到不同民族的生活方式、价值取向、社会规范等因素的影响,赋予了