一种基于Z和精化演算的形式化开发方法
일충기우Z화정화연산적형식화개발방법
A FORMAL DEVELOPMENT METHOD BASED ON Z AND REFINEMENT CALCULUS
  • 万方数据
    小型微型计算机系统 소형미형계산궤계통
    MINI-MICRO SYSTEMS
    2001年 5期 592-595 ,共4页

    阮幼林%李传湘

    원유림%리전상

    Z%精化演算%模式%形式化规约 Z%精化縯算%模式%形式化規約
    Z%정화연산%모식%형식화규약
    通过分析Z和精化演算各自的特点,本文提出了一种使两者无缝集成的形式化开发方法.该方法利用Z良好的描述特性和扩充的类机制,将系统规约直接定义成精化演算中的抽象程序,然后用精化规则对抽象程序逐步精化,直到可执行程序.最后给出了一个简单例子
    통과분석Z화정화연산각자적특점,본문제출료일충사량자무봉집성적형식화개발방법.해방법이용Z량호적묘술특성화확충적류궤제,장계통규약직접정의성정화연산중적추상정서,연후용정화규칙대추상정서축보정화,직도가집행정서.최후급출료일개간단례자
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문