论文部分内容阅读
提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述.
一种从Z规约到并行程序的精化方法
【摘 要】
：
提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保
【机 构】
：
上海交通大学,上海交通大学,江西师范大学
【出 处】
：
软件学报
【发表日期】
：
2002年11期
【基金项目】
：
国家自然科学基金
其他文献
本文针对现今中国学生的美语语法学习问题进行分析,介绍了美语语法的定义、学习英语语法的目的、学习英语语法的范围以及学习英语语法的方法,目的在于帮助同学们找到正确的、
本文在对问题、数学问题、数学问题解决进行界定的基础上,对数学问题的特征进行了探讨,旨在说明要培养学生的创新意识和实践能力,就要从"数学问题"解决入手,让学生学会解决问
一个企业网中的应用服务多种多样，各自都提供了安全措施，这必须给用户使用和管理员的权限管理带来不便，为此，设计和开发了一套一次身份认证系统，该系统可与各个应用服务很好地集成
代理签名是一种非常有用的密码学工具.使用它,原始签名人能将其数字签名权力委托给代理签名人.在盲签名方案中,消息的内容对签名者是不可见的.签名被接收者泄露后,签名者不能
教学实践能力是英语教师专业素质的基本构成要素。本文通过对同伴教学及同伴教学教师培训模式的简要分析,指出在现有的教学条件下,运用同伴教学教师培训模式,培养区内生源英
<正> 新生儿卡介苗接种在预防儿童结核病特别是儿童结脑和粟粒型结核方面起着重要的作用,因此,系统评价和科学总结在指导卡介苗接种工作中有着非常重要的意义。为不断完善我
我国数学课程标准现已将培养学生的三大能力之一"逻辑思维能力"改为"思维能力".本文认为,数学课程标准虽然只是去掉两个字,概念的内涵却更加丰富,人们在教育的实践中实现了认
通过对余干县县、乡、村门诊住院病人的抽样调查,对公费与自费门诊、住院病人和血吸虫病人的开药费用、家庭收入、支付能力和对医疗保健制度满意度作比较分析,描述了湖沼型血
在江西、安徽两省的4个血吸虫病流行县随机抽取1000户家庭,调查其往年血吸虫病感染所享受的医疗保健制度及家庭经济条件等因素,并研究其相互关系。结果显示上述地区90％的居民