期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于状态转换系统的Z语义模型扩充
1
作者
何炎祥
黄谦
叶磊
《小型微型计算机系统》
CSCD
北大核心
2003年第9期1701-1706,共6页
利用状态转换系统对 Z语义模型进行分析 ,指出其三种不足 ;然后利用状态转换系统、有限状态转换系统和时序状态转换系统 ,对 Z语义模型分别进行多样性、有效性和时序性扩充 ,定义多种数据实现关系和时序实现关系 ,导出相应的求精关系 ;...
利用状态转换系统对 Z语义模型进行分析 ,指出其三种不足 ;然后利用状态转换系统、有限状态转换系统和时序状态转换系统 ,对 Z语义模型分别进行多样性、有效性和时序性扩充 ,定义多种数据实现关系和时序实现关系 ,导出相应的求精关系 ;并通过一个简单的实例说明
展开更多
关键词
Z语义模型
实现关系
状态
转换
系统
有限
状态
转换
系统
时序状态转换系统
在线阅读
下载PDF
职称材料
从过程描述语言到Z语言
被引量：
8
2
作者
何炎祥
宋强
黄谦
《小型微型计算机系统》
CSCD
北大核心
2002年第9期1110-1113,共4页
Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 ...
Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 Z规格的机械算法 .利用这一算法 ,Z语言也能方便地描述时序关系 .
展开更多
关键词
过程描述语言
Z语言
时序状态转换系统
“软件工程”语言
在线阅读
下载PDF
职称材料
题名
基于状态转换系统的Z语义模型扩充
1
作者
何炎祥
黄谦
叶磊
机构
武汉大学计算机学院/软件工程国家重点实验室
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第9期1701-1706,共6页
基金
国家教育部重点项目资助
文摘
利用状态转换系统对 Z语义模型进行分析 ,指出其三种不足 ;然后利用状态转换系统、有限状态转换系统和时序状态转换系统 ,对 Z语义模型分别进行多样性、有效性和时序性扩充 ,定义多种数据实现关系和时序实现关系 ,导出相应的求精关系 ;并通过一个简单的实例说明
关键词
Z语义模型
实现关系
状态
转换
系统
有限
状态
转换
系统
时序状态转换系统
Keywords
semantic model of Z
implementation relation
status transition system
finite status transition system
temporal status transition system
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
从过程描述语言到Z语言
被引量：
8
2
作者
何炎祥
宋强
黄谦
机构
武汉大学计算机学院软件工程国家重点实验室
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第9期1110-1113,共4页
基金
国家教育部重点项目资助
武汉大学自强科技创新基金资助
文摘
Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 Z规格的机械算法 .利用这一算法 ,Z语言也能方便地描述时序关系 .
关键词
过程描述语言
Z语言
时序状态转换系统
“软件工程”语言
Keywords
Z language
process description language
temporal status transition system
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于状态转换系统的Z语义模型扩充
何炎祥
黄谦
叶磊
《小型微型计算机系统》
CSCD
北大核心
2003
0
在线阅读
下载PDF
职称材料
2
从过程描述语言到Z语言
何炎祥
宋强
黄谦
《小型微型计算机系统》
CSCD
北大核心
2002
8
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
