首页> 中文期刊> 《兰州理工大学学报》 >PEARL语言在实时系统开发模式中的应用研究

PEARL语言在实时系统开发模式中的应用研究

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析,提出了一种将二者相结合的实时系统开发模式.该模式充分发挥了实时语言和形式化方法的优点,使系统开发的整个过程无须依赖具体的硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.

著录项

来源
《兰州理工大学学报》 |2006年第1期|94-97|共4页
作者
陈生庆; 陈广明; 张立臣;
展开▼
作者单位

嘉应学院,计算机系,广东,梅州,514015;

嘉应学院,计算机系,广东,梅州,514015;

广东工业大学,计算机学院,广东,广州,510090;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
实时系统; PEARL语言; 形式化方法; 开发模式;

相似文献

中文文献
外文文献
专利

1. iC语言在实时系统中的使用技巧 [J] . 高贵明 . 雷达与对抗 . 1994,第002期
2. Ada语言在实时系统中的应用 [J] . 陈心宁 . 航空电子技术 . 1989,第001期
3. UML在实时系统中的应用研究 [J] . 刘晋 ,李志欣 ,崔健 . 网络新媒体技术 . 2009,第004期
4. UML在实时系统中的应用研究 [J] . 李志欣 ,刘晋 . 微型电脑应用 . 2009,第007期
5. UML-RT在实时系统中的应用研究 [J] . 字天文 ,刘晓燕 . 计算机时代 . 2007,第012期
6. CRC校验在实时系统中的应用研究 [C] . 卢云鹏 ,刘振安 ,徐昊 . 第13届全国计算机、网络在现代科学技术领域的应用学术会议 . 2007
7. PEARL语言在实时系统中的应用 [A] . 陈生庆 . 2004

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号