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

• 作者: 于淑霞 杜玉越 王文宏
• 来源期刊: 聊城大学学报（自然科学版）
• 学科: 工学
• 关键词: 电子商务系统 形式化技术 分类 综述
• 年，卷（期）: 2005,（3）
• 所属期刊栏目: 博士论坛
• 页码范围: 11-15,19
• 页数: 6页
• 分类号: TP393
• 字数: 5095字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-6634.2005.03.004

摘要

应用形式化分析技术对电子商务系统模拟与验证,可以查找系统设计中的错误和不足,确保系统的正确性和健壮性.本文将目前用于电子商务系统的形式化方法划分为四大类,综合分析并比较了各类方法的应用特点,并指出了进一步地研究工作.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王文宏	聊城大学计算机学院	35	368	10.0	18.0
2	杜玉越	聊城大学计算机学院	4	44	2.0	4.0
6	于淑霞	聊城大学物理科学与信息工程学院	2	4	1.0	2.0