摘要：Z语言是目前广泛使用的一种形式化方法语言.它具有简明、精确、无歧义的优点.本文利用Z语言对一种棋类游戏--西瓜棋进行了描述,并给出了西瓜棋游戏从状态模式到操作模式的需求规格说明.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
热门期刊服务
相关文章
影响因子：0.27
期刊级别：省级期刊
发行周期：月刊
期刊在线咨询，1-3天快速下单！
查看更多>
超1000杂志，价格优惠，正版保障！
一站式期刊推荐服务，客服一对一跟踪服务！
