一种从Z规约到并行程序的精化方法

• 作者: 万剑怡 孙永强 薛锦云
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 设计模式 精化 并行程序开发
• 年，卷（期）: 2002,（11）
• 页码范围: 2106-2111
• 页数: 6页
• 分类号: TP311
• 字数: 3913字
• 语种: 中文

摘要

提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙永强	上海交通大学计算机科学与工程系	72	373	10.0	15.0
2	万剑怡	上海交通大学计算机科学与工程系	33	207	8.0	12.0
4	薛锦云	江西师范大学计算机科学系	77	745	15.0	23.0