电子商务系统形式化分析与验证技术综述(Ⅰ)

• 作者: 杜玉越
• 来源期刊: 聊城大学学报(自然科学版)
• 学科: 工学
• 关键词: 电子商务系统 形式化技术 分类 特点
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 博士论坛
• 页码范围: 15-20,27
• 页数: 7页
• 分类号: TP393
• 字数: 5074字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-6634.2004.02.006

摘要

电子商务系统的设计与分析是一项相当繁重而复杂的任务,应用形式化分析技术对电子商务系统模拟与验证,可以查找系统设计中的错误和不足,确保系统的正确性和健壮性.将目前用于电子商务系统的形式化方法划分为四大类,分析了其中三类方法的应用特点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜玉越	聊城大学计算机学院	4	44	2.0	4.0