摘要
Z语言是目前广泛使用的一种形式化方法语言。它具有简明、精确、无歧义的优点。本文利用Z语言对一种棋类游戏——西瓜棋进行了描述,并给出了西瓜棋游戏从状态模式到操作模式的需求规格说明。
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.
出处
《科技广场》
2005年第2期12-15,共4页
Science Mosaic