作者：邓达平; 王命延形式化方法z语言西瓜应用需求规格说明棋类游戏操作模式状态模式
摘要：Z语言是目前广泛使用的一种形式化方法语言.它具有简明、精确、无歧义的优点.本文利用Z语言对一种棋类游戏--西瓜棋进行了描述,并给出了西瓜棋游戏从状态模式到操作模式的需求规格说明.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《科技广场》（CN：36-1253/N）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《科技广场》是经国家新闻出版总署正式批准出版，面向国内外公开发行的综合性大型科技学术刊物，及时发表信息领域固有的一级学术价值和应用价值的研究文章。
部级期刊
人气 1073874 评论 53
省级期刊
人气 845937 评论 70
人气 806695 评论 68
人气 753030 评论 72
