形式化语言B与UML/OCL的比较
형식화어언B여UML/OCL적비교
Formal Language B and UML/OCL Comparison
  • 万方数据
    电脑知识与技术 전뇌지식여기술
    COMPUTER KNOWLEDGE AND TECHNOLOGY
    2009年 34期 9739-9741 ,共3页

    顾建丰%陈名铭%周秀芳

    고건봉%진명명%주수방

    B语言%OCL%形式化方法%比较 B語言%OCL%形式化方法%比較
    B어언%OCL%형식화방법%비교
    该文介绍了形式化方法中B语言和UML/OCL语言,从软件开发生命周期的角度对B语言和OCL语言进行了比较,归纳了这两种形式化语言的异同和各自的适用范围.
    해문개소료형식화방법중B어언화UML/OCL어언,종연건개발생명주기적각도대B어언화OCL어언진행료비교,귀납료저량충형식화어언적이동화각자적괄용범위.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문