10.3969/j.issn.1000-3428.2003.z1.030
结合形式化的面向对象技术在电子商务中的应用
以电子商务应用为背景,研究了结合形式化的面向对象建模方法,该方法将UML对系统建模的易于理解性及Z语言描述系统的可靠性有机地结合在一起,这种通过增加形式化的成份来解决图形工具无法或表达不确切的思想,为开拓电子商务领域提供了新的研究方法.
Z语言、UML、电子商务
29
TP391(计算技术、计算机技术)
2005-02-22(万方平台首次上网日期,不代表论文的发表时间)
共3页
65-66,103