首页> 中文期刊> 《计算机工程》 >形式并行需求规约向Java程序框架的转换

形式并行需求规约向Java程序框架的转换

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

提出了一种能将形式化定义的并行系统需求规约转换为Java并行程序框架的技术.Java并行程序框架的线程中含有前后断言,可用传统的串行系统转换技术转换为可执行的Java代码.从而将并行系统的形式化开发问题转换成了串行系统的形式化开发问题,降低了并行系统形式化开发的复杂度.

著录项

来源
《计算机工程》 |2000年第8期|31-32119|共3页
作者
王黎霞; 李彤;
展开▼
作者单位

云南大学经济学院昆明 650091;

云南大学计算机科学系昆明 650091;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.15;
关键词
并行系统; 形式化开发; 需求规约; 程序框架;

相似文献

中文文献
外文文献
专利

1. 基于线程的Java程序自动并行转换技术 [J] . 刘英 ,刘磊 ,张乃孝 . 软件学报 . 2001,第003期
2. 一个面向网络并行环境的需求规约语言 [J] . 李彤 ,柳青 ,孔兵 . 计算机工程 . 2000,第001期
3. 形式单位概念的变化转换研究——历时词概念框架视角 [J] . 廖光蓉 . 汉语学报 . 2010,第3期
4. 财务会计概念框架的形式转换:冲突及其缓解--兼论《基本准则》的修订及其支撑系统的建构 [J] . 孙铮 ,朱国泓 . 财经研究 . 2005,第011期
5. 一种并行JAVA程序运行时的死锁检测方法 [J] . 贺钧 . 中小企业管理与科技 . 2010,第028期
6. 从表层形式到深层形式——萨满艺术的形式语言和意义语境转换关系研究 [C] . 曹辉 . 2013年中国艺术人类学国际学术研讨会 . 2013
7. 嵌入式软件需求规约到软件体系结构模型的转换研究 [A] . 祝义 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号