结合形式化的面向对象技术在电子商务中的应用

• 作者: 韩良杰 韩良秀
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Z语言 UML 电子商务
• 年，卷（期）: 2003,（z1）
• 所属期刊栏目: 学术论文
• 页码范围: 65-66,103
• 页数: 3页
• 分类号: TP391
• 字数: 2391字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.z1.030

摘要

以电子商务应用为背景,研究了结合形式化的面向对象建模方法,该方法将UML对系统建模的易于理解性及Z语言描述系统的可靠性有机地结合在一起,这种通过增加形式化的成份来解决图形工具无法或表达不确切的思想,为开拓电子商务领域提供了新的研究方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩良杰		1	0	0.0	0.0
2	韩良秀		1	0	0.0	0.0