咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

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

主题

  • 2 篇 形式化方法par
  • 1 篇 可靠性
  • 1 篇 程序设计技术
  • 1 篇 查找算法程序
  • 1 篇 高可靠算法

机构

  • 1 篇 中国科学院软件研...
  • 1 篇 江西师范大学
  • 1 篇 计算机科学国家重...
  • 1 篇 中国科学院研究生...

作者

  • 2 篇 石海鹤
  • 2 篇 薛锦云

语言

  • 2 篇 中文
检索条件"主题词=形式化方法PAR"
2 条 记 录,以下是1-10 订阅
排序:
一组基于par的高可靠查找算法程序开发
收藏 引用
计算机研究与发展 2010年 第S1期47卷 204-208页
作者: 石海鹤 薛锦云 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 江西师范大学省高性能计算技术重点实验室 南昌330022 中国科学院研究生院 北京100049
使用形式化方法par,从查找问题的形式化规约出发,使用量词的性质等作为规则,分别施行不同的等价规约变换,开发了一组查找算法程序,并借助par平台进一步将其转换成可执行程序,这清晰展示了各算法程序间存在的关系,保证了结果程序的正确... 详细信息
来源: 评论
一种基于par的高可靠算法程序设计技术
一种基于PAR的高可靠算法程序设计技术
收藏 引用
第六届中国测试学术会议
作者: 石海鹤 薛锦云 中国科学院软件研究所计算机科学国家重点实验室 北京 100190 江西师范大学省高性能计算技术重点实验室 南昌 330022 中国科学院研究生院 北京 100049 中国科学院软件研究所计算机科学国家重点实验室 北京 100190 江西师范大学省高性能计算技术重点实验室 南昌 330022
基于形式化方法par,提出了一种高可靠算法程序设计技术,并采用范畴论形式化了相关的概念和定义.该技术通过重用一类问题的算法规约,算法程序的形式化推导和正确性证明来快速设计出正确的问题求解算法程序,使得算法程序的设计效率... 详细信息
来源: 评论