首页> 中文期刊> 《聊城大学学报（自然科学版）》 >电子商务系统形式化分析与验证技术综述(Ⅱ)

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《聊城大学学报（自然科学版）》 |2005年第3期|11-1519|共6页
作者
杜玉越; 于淑霞; 王文宏;
展开▼
作者单位

聊城大学,计算机学院,山东,聊城,252059;

中国科学院,软件研究所计算机科学重点实验室,北京,100080;

聊城大学,物理科学与信息工程学院,山东,聊城,252059;

聊城大学,计算机学院,山东,聊城,252059;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
电子商务系统; 形式化技术; 分类; 综述;

相似文献

中文文献
外文文献
专利

1. 电子商务系统形式化分析与验证技术综述(Ⅰ) [J] . 杜玉越 . 聊城大学学报（自然科学版） . 2004,第002期
2. 面向特征编程范式的形式化验证技术研究综述 [J] . 叶俊 ,谭庆平 ,李暾 . 计算机工程与科学 . 2010,第009期
3. 基于不同形式化模型的网络通信协议验证技术的分析与比较 [J] . 李艳 ,肖德宝 . 华中师范大学学报（自然科学版） . 2002,第004期
4. 代码生成器形式化验证技术研究 [J] . 侯荣彬 ,马权 ,兰林 . 仪器仪表用户 . 2021,第004期
5. 形式化验证技术在核电厂DCS中的应用研究 [J] . 侯荣彬 ,马权 ,兰林 . 仪器仪表用户 . 2020,第012期
6. 基于属性描述语言的形式化验证技术研究 [C] . Hu Yayun ,胡亚云 ,LI Dongfang . 全国抗恶劣环境计算机第二十八届学术年会 . 2018
7. 安全协议的形式化分析方法及验证技术研究 [A] . 田国良 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号