PAR平台从规约出发的算法推导与自动生成
PAR평태종규약출발적산법추도여자동생성
Algorithmic derivation and automatic generation from specification on PAR platform
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2007年 2期 41-42,59 ,共3页

    王昌晶%薛锦云

    왕창정%설금운

    PAR方法%PAR平台%规约%形式推导 PAR方法%PAR平檯%規約%形式推導
    PAR방법%PAR평태%규약%형식추도
    简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序.PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序.这显著地提高了算法程序的正确性和开发效率,也有助于深刻地理解算法设计思想.
    간요개소PAR방법급기지탱평태,사용PAR방법급기평태종규약출발형식화추도병생성료량개전형적산법정서.PAR방법급기평태사용일계위사라집표시공능규약,분화여체추래진행산법형식추도,각충전환계통래자동생성산법정서.저현저지제고료산법정서적정학성화개발효솔,야유조우심각지리해산법설계사상.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문