结合形式化的面向对象技术在电子商务中的应用
결합형식화적면향대상기술재전자상무중적응용
Application of the Methodology Combined Formal Method with Object-oriented Technology in E-commerce
  • 万方数据
    计算机工程 계산궤공정
    COMPUTER ENGINEERING
    2003年 z1期 65-66,103 ,共3页

    韩良杰%韩良秀

    한량걸%한량수

    Z语言%UML%电子商务 Z語言%UML%電子商務
    Z어언%UML%전자상무
    以电子商务应用为背景,研究了结合形式化的面向对象建模方法,该方法将UML对系统建模的易于理解性及Z语言描述系统的可靠性有机地结合在一起,这种通过增加形式化的成份来解决图形工具无法或表达不确切的思想,为开拓电子商务领域提供了新的研究方法.
    이전자상무응용위배경,연구료결합형식화적면향대상건모방법,해방법장UML대계통건모적역우리해성급Z어언묘술계통적가고성유궤지결합재일기,저충통과증가형식화적성빈래해결도형공구무법혹표체불학절적사상,위개탁전자상무영역제공료신적연구방법.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문