形式化方法--Z语言在西瓜棋中应用的研究

• 作者: 王命延 邓达平
• 来源期刊: 科技广场
• 学科: 工学
• 关键词: Z语言 软件工程 形式化方法 西瓜棋
• 年，卷（期）: 2005,（2）
• 所属期刊栏目: 研究与探讨
• 页码范围: 12-15
• 页数: 4页
• 分类号: TP312
• 字数: 2285字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-4792.2005.02.003

摘要

Z语言是目前广泛使用的一种形式化方法语言.它具有简明、精确、无歧义的优点.本文利用Z语言对一种棋类游戏--西瓜棋进行了描述,并给出了西瓜棋游戏从状态模式到操作模式的需求规格说明.