首页> 中文期刊>计算机工程 >移动Agent系统的Z语言形式化描述

移动Agent系统的Z语言形式化描述

开具论文收录证明 >>

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

页面导航

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

摘要

采用非形式化到形式化的过程:先用自然语言描述移动Agent,然后用形式语言Z及组件技术来描述移动Agent,并给出一个形式化的基础及移动Agent系统的一个精确高效的开发方法.

著录项

来源
《计算机工程》|2003年第19期|80-82|共3页
作者
程劼; 李赣生;
展开▼
作者单位

浙江大学计算机科学与工程系,杭州,310027;

浙江大学计算机科学与工程系,杭州,310027;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
形式化方法; 移动代理; 组件; 软件工程; Z语言;

相似文献

中文文献
外文文献
专利

1. 基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述 [J] . 魏艳鸣 . 郑州轻工业学院学报（自然科学版） . 2009,第003期
2. 基于Real-Time Object-Z语言的实时系统形式化描述 [J] . 魏艳铭 ,张广泉 . 重庆师范大学学报：自然科学版 . 2007,第4期
3. 形式化描述语言（SDL）在嵌入式操作系统Vxworks上的软件开发 [J] . 井铁军 . 无线电通信技术 . 2000,第006期
4. 基于智能移动Agent的C语言考试系统 [J] . 乔善平 . 计算机工程与科学 . 2004,第004期
5. 用例模型的Z语言形式化描述方法 [J] . 景燕敏 ,吴晟 ,宫传琪 . 信息技术 . 2013,第003期
6. 基于Seal演算形式化描述移动Agent安全 [C] . 郑晓娟 ,金英 . 2006年全国理论计算机科学学术年会 . 2006
7. 移动Agent技术评价及其形式化描述 [A] . 郑义 . 2000

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号