首页> 中文期刊> 《软件学报》 >一种从Z规约到并行程序的精化方法

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

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

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

著录项

来源
《软件学报》 |2002年第11期|2106-2111|共6页
作者
万剑怡; 孙永强; 薛锦云;
展开▼
作者单位

上海交通大学;

计算机科学与工程系;

上海;

200030;

江西师范大学;

计算机科学系;

江西;

南昌;

330027;

上海交通大学;

计算机科学与工程系;

上海;

200030;

江西师范大学;

计算机科学系;

江西;

南昌;

330027;

中国科学院;

软件研究所;

计算机科学重点实验室;

北京;

100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
设计模式; 精化; 并行程序开发;

相似文献

中文文献
外文文献
专利

1. 一种将设计模式用于程序精化演算的并行程序设计方法研究 [J] . 万剑怡 ,孙永强 ,薛锦云 . 计算机研究与发展 . 2003,第002期
2. 一种从面向对象Z规约到代码的精化演算方法 [J] . 王云峰 ,庞军 ,查鸣 . 软件学报 . 2000,第008期
3. 一种基于规约精化的货物分发问题求解方案分析 [J] . 李英龙 ,薛锦云 . 计算机与现代化 . 2006,第007期
4. 形式化PAR方法及其算法程序规约精化机理 [J] . 苏昭 . 江西科技学院学报 . 2014,第003期
5. 形式化方法Designware及其规约精化机理 [J] . 石海鹤 ,石海鹏 ,薛锦云 . 计算机应用研究 . 2008,第003期
6. 一种基于机器学习方法的并行程序骨架构建方法 [C] . Zihang Zhang ,张子航 ,Guangzhong Sun . 2018年全国高性能计算学术年会 . 2018
7. 一种基于设计模式的并行程序开发方法研究 [A] . 万剑怡 . 2001

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号