电子商务系统形式化分析与验证技术综述(Ⅰ)
杜玉越
聊城大学,计算机学院,山东,聊城,252059
摘要：电子商务系统的设计与分析是一项相当繁重而复杂的任务,应用形式化分析技术对电子商务系统模拟与验证,可以查找系统设计中的错误和不足,确保系统的正确性和健壮性.将目前用于电子商务系统的形式化方法划分为四大类,分析了其中三类方法的应用特点.
关键词：电子商务系统形式化技术分类特点
分类号：TP393(计算技术、计算机技术)
论文发表日期：2004-01-01
在线出版日期：2026-08-28（本平台首次上网日期，不代表文献的发表时间）
页数：7( 15-20,27 )
英文信息