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

• 作者: 李赣生 程劼
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 形式化方法 移动代理 组件 软件工程 Z语言
• 年，卷（期）: 2003,（19）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 80-82
• 页数: 3页
• 分类号: TP393
• 字数: 3379字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.19.032

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李赣生	浙江大学计算机科学与工程系	12	151	6.0	12.0
2	程劼	浙江大学计算机科学与工程系	1	0	0.0	0.0