形式化方法--Z语言在西瓜棋中应用的研究
형식화방법--Z어언재서과기중응용적연구
Used One of the Formal Methods Languages,Z Language,in Watermelon Chess
  • 万方数据
    科技广场 과기엄장
    SCIENCE TECHNOLOGY PLAZA
    2005年 2期 12-15 ,共4页

    邓达平%王命延

    산체평%왕명연

    Z语言%软件工程%形式化方法%西瓜棋 Z語言%軟件工程%形式化方法%西瓜棋
    Z어언%연건공정%형식화방법%서과기
    Z语言是目前广泛使用的一种形式化方法语言.它具有简明、精确、无歧义的优点.本文利用Z语言对一种棋类游戏--西瓜棋进行了描述,并给出了西瓜棋游戏从状态模式到操作模式的需求规格说明.
    Z어언시목전엄범사용적일충형식화방법어언.타구유간명、정학、무기의적우점.본문이용Z어언대일충기류유희--서과기진행료묘술,병급출료서과기유희종상태모식도조작모식적수구규격설명.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문