期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
从过程描述语言到Z语言 被引量:8
1
作者 何炎祥 宋强 黄谦 《小型微型计算机系统》 CSCD 北大核心 2002年第9期1110-1113,共4页
Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 ... Z语言是一种得到广泛应用的形式化规格语言 .Z语言可以方便地描述系统操作的数据转换 ,却很难描述系统操作间的时序关系 .而过程描述语言可以方便地描述时序关系 .本文利用时序状态转换系统作为中介 ,提出一种把过程描述语言的项转换成 Z规格的机械算法 .利用这一算法 ,Z语言也能方便地描述时序关系 . 展开更多
关键词 过程描述语言 Z语言 时序状态转换系统 “软件工程”语言
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部