原文服务方: 微电子学与计算机       
摘要:
将具有状态描述能力的Z语言和具有实序并发描述能力的其它形式化方法如Timed CCS,Timed CSP相结合大大拓展了其在实时并发系统的中的应用能力,不但可以用于需求描述,也可应用于系统设计.在统一语义的背景下使用多种集成方法,其根本目的是适合应用领域的不同特点,本文以RT-Z为基础提出的基本扩展框架对类似集成工作具有普遍意义,最后结合RT-Z的语义集成的分析提出了并发实时系统开发中的一种基本应用模式.
推荐文章
形式化语言RT-Z的合成及其应用
Z语言
过程代数CSP
规格说明
Z-map方法在零件内有孔时的扩展仿真研究
Z-map方法
等去除量仿真
Z向多值
一般区间线性系统的(Z,z)解
区间线性系统
区间矩阵
(Z,z)解
Hadamard积
基于ZML的Z语言规范
Z语言
XML模式
ZML
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 集成的Z实时扩展RT-Z及其应用模式
来源期刊 微电子学与计算机 学科
关键词 实时系统 形式化方法 RT-Z
年,卷(期) 2005,(6) 所属期刊栏目
研究方向 页码范围 126-128,131
页数 4页 分类号 TP311
字数 语种 中文
DOI 10.3969/j.issn.1000-7180.2005.06.035
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 陈生庆 嘉应学院计算机系 23 55 4.0 7.0
2 陈广明 嘉应学院计算机系 21 59 4.0 7.0
3 张立臣 广东工业大学计算机学院 158 820 14.0 21.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (2)
共引文献  (5)
参考文献  (1)
节点文献
引证文献  (1)
同被引文献  (5)
二级引证文献  (0)
2001(2)
  • 参考文献(0)
  • 二级参考文献(2)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2005(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
实时系统
形式化方法
RT-Z
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
微电子学与计算机
月刊
1000-7180
61-1123/TN
大16开
1972-01-01
chi
出版文献量(篇)
9826
总下载数(次)
0
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
广东省自然科学基金
英文译名:Guangdong Natural Science Foundation
官方网址:http://gdsf.gdstc.gov.cn/
项目类型:研究团队
学科类型:
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导