形式化方法与可视化模型的结合及其应用
형식화방법여가시화모형적결합급기응용
Integration and Its Application of Formal Methods and Visual Models
  • 万方数据
    计算机与现代化 계산궤여현대화
    COMPUTER AND MODERNIZATION
    2011年 3期 44-46,56 ,共4页

    吴帅%缪丽君

    오수%무려군

    形式化方法%B方法%UML%AMN%ProB 形式化方法%B方法%UML%AMN%ProB
    형식화방법%B방법%UML%AMN%ProB
    阐述形式化方法的特点及存在的问题,分析在形式化开发过程中引入可视化模型的必要性.为降低直接使用形式化方法的难度,提出B方法与UML的结合过程,并通过一个自动取款机系统说明其应用过程.
    천술형식화방법적특점급존재적문제,분석재형식화개발과정중인입가시화모형적필요성.위강저직접사용형식화방법적난도,제출B방법여UML적결합과정,병통과일개자동취관궤계통설명기응용과정.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문