咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 2 篇 结构操作语义
  • 2 篇 概率格局变迁系统
  • 2 篇 概率带测试克林代...
  • 1 篇 互模拟等价
  • 1 篇 自然语义

机构

  • 1 篇 中国科学院成都计...
  • 1 篇 中国科分院成都计...

作者

  • 2 篇 乔瑞
  • 2 篇 qiao rui
  • 1 篇 吴尽昭
  • 1 篇 gao xinyan
  • 1 篇 高新岩
  • 1 篇 wu jin-zhao

语言

  • 2 篇 中文
检索条件"主题词=概率带测试克林代数"
2 条 记 录,以下是1-10 订阅
排序:
概率带测试克林代数
收藏 引用
四川大学学报(工程科学版) 2009年 第1期41卷 134-138页
作者: 乔瑞 吴尽昭 中国科分院成都计算机应用研究所 四川成都610041
为了增强可形式刻画正则程序行为的测试代数(KAT)的表达能力,提出了一个加概率测试代数(PKAT)的完整理论用于对加概率正则程序的推演。提出了状态为PKAT表达式和数据状态组成的序列对的概率格局变迁系统。然后在概率格局... 详细信息
来源: 评论
概率带测试克林代数操作语义的研究
收藏 引用
武汉理工大学学报(信息与管理工程版) 2008年 第4期30卷 509-513页
作者: 乔瑞 高新岩 中国科学院成都计算机应用研究所 四川成都610041
为了增强测试代数(KAT)的表达能力,提出了一种加概率测试代数(PKAT)的理论,并将其应用于对加概率正则程序的推演。将概率格局变迁系统作为操作语义的模型,它的每个状态是一个格局,格局是由一个PKAT表达式和一个数据状态... 详细信息
来源: 评论