| 形式化方法--Z语言在西瓜棋中应用的研究 |
| |
| 引用本文： | 邓达平,王命延.形式化方法--Z语言在西瓜棋中应用的研究[J].科技广场,2005(2):12-15. |
| |
| 作者姓名： | 邓达平 王命延 |
| |
| 摘 要： | Z语言是目前广泛使用的一种形式化方法语言。它具有简明、精确、无歧义的优点。本文利用Z语言对一种棋类游戏——西瓜棋进行了描述，并给出了西瓜棋游戏从状态模式到操作模式的需求规格说明。
|
| 关 键 词： | 形式化方法 Z语言 西瓜 应用 需求规格说明 棋类游戏 操作模式 状态模式 |
| 文章编号： | 1671-4792-(2005)02-0049-04 |
Used One of the Formal Methods Languages,Z Language,in Watermelon Chess |
| |
| Deng Daping,Wang Mingyan.Used One of the Formal Methods Languages,Z Language,in Watermelon Chess[J].Science Mosaic,2005(2):12-15. |
| |
| Authors: | Deng Daping Wang Mingyan |
| |
| Institution: | Deng Daping Wang Mingyan |
| |
| Abstract: | Z language is a kind of rather popular at present and used extensive form specifica- tions languages. It has the virtues of brachylogy, rigor and precise. This article depicts the Watermelon Chess (a game of chess) and gives the specification arranging from the state model to operation model with Z language. |
| |
| Keywords: | Z language software engineering formal methods Watermelon Chess |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
