期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
一种证明程序正确性的方法
被引量:
3
下载PDF
职称材料
导出
摘要
介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程序实例 ,然后相对于这一模型并结合程序 。
作者
厉海燕
李新明
机构地区
装备指挥技术学院电子技术系
出处
《计算机应用》
CSCD
北大核心
2001年第z1期158-159,162,共3页
journal of Computer Applications
关键词
程序证明
程序正确性
程序设计方法学
抽象模型
公理学方法
分类号
TP311.11 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
4
共引文献
4
同被引文献
32
引证文献
3
二级引证文献
7
参考文献
4
1
[1]Mamma Z. The Correctness of Programs[J]. ComPut. Syst. Sci.,1969.
2
[2]Hoare CAR. Proof of Correctness of Data Representation[M]. Acta Informatical, 1972.
3
胡蓬,何英,石纯一,王克宏,王凤林.
一种静态的协商算法[J]
.计算机学报,1996,19(6):466-471.
被引量:5
4
[5]陈火旺,罗朝晖,马庆鸣.程序设计方法学基础[M].长沙:湖南科学技术出版社,1993.
共引文献
4
1
王英,张小真.
CSCW协同建组自动协商模型研究[J]
.计算机工程与应用,2005,41(20):70-73.
被引量:2
2
孙天昊,朱庆生,李双庆.
一对多协商协调策略[J]
.计算机工程与应用,2007,43(3):230-233.
被引量:3
3
王凤林,嵇琦.
程序正确性证明的一种方法[J]
.大电机技术,1998(3):18-22.
被引量:1
4
张国伍,张秀缓,罗雄飞.
综合交通枢纽的虚拟组织协同管理模式研究[J]
.系统工程,2000,18(4):43-48.
被引量:7
同被引文献
32
1
张广泉.
广义数学归纳法证明程序的正确性[J]
.重庆师范学院学报(自然科学版),1994,11(2):66-71.
被引量:4
2
李芳.
关于程序正确性证明的进一步探讨[J]
.信息技术与信息化,2005(4):66-67.
被引量:3
3
刘育刚.
递归Prolog程序的正确性证明[J]
.计算机学报,1996,19(1):64-67.
被引量:2
4
余娟.
程序正确性证明方法探论[J]
.科技广场,2006(2):24-25.
被引量:1
5
郭建,韩俊刚.
基于不完全Kripke结构三值逻辑的模型检验[J]
.计算机科学,2006,33(3):263-266.
被引量:5
6
范年柏.程序正确性验证的几个问题.计算机应用,2005,25:10-20.
7
Hanne Riis Nielson,Flemming Nielson.Semantics with applications a formal introduction[M].John Wiley & Sons, 1992:175- 182.
8
DIJKSTRA E W.A Displin of program[M].New Jersey: Prentice-Hall Inc, Englewood Cliffs, 1976:25-27.
9
严蔚敏 吴伟民.数据结构(C语言版)[M].北京:清华大学出版社,1999.50-150.
10
BOOCHG,RUMBAUGH J,JACOLSON I. The unified modeling language userguide[M].北京:机械工业出版社,2002.
引证文献
3
1
范年柏,张大方,颜学义,周立彪,肖庆丰.
基于栈操作的用例规模的一个计算公式[J]
.湖南大学学报(自然科学版),2004,31(6):80-82.
被引量:4
2
任彦芳,杨静,索丙芮.
基于程序正确性的演算方法[J]
.计算机工程与设计,2009,30(17):4020-4022.
被引量:2
3
林杰,余建坤.
基于Kripke结构的程序正确性证明[J]
.计算机应用,2011,31(5):1425-1427.
被引量:1
二级引证文献
7
1
李红卫,徐亚平.
出栈序列的研究[J]
.计算机技术与发展,2007,17(10):127-129.
被引量:11
2
雷富兴,张来顺,石荣刚,杨科.
循环条件的形式化推导在程序验证中的应用[J]
.计算机工程与设计,2010,31(14):3193-3197.
被引量:1
3
任志国,朱正平,岳秋菊,达文姣,张龙忠,李亚楠.
动态双端栈技术[J]
.自动化与仪器仪表,2011(3):109-110.
被引量:7
4
廖苑蓉,陈光喜.
程序正确性验证的代数方法及其研究进展[J]
.桂林电子科技大学学报,2013,33(1):49-55.
5
姜华林,李立新,陈强.
出栈序列合法性研究与实现[J]
.电脑知识与技术,2013,9(3):1578-1581.
6
蓝盈,秦华旺,陈喜国.
基于文件解析的逻辑控制方法设计[J]
.工业控制计算机,2014,27(12):6-7.
7
吴鹏,张叙,路霞.
基于模型检测方法的中文专利法律状态数据清洗研究[J]
.情报理论与实践,2018,41(3):49-56.
被引量:7
1
王凤林,嵇琦.
程序正确性证明的一种方法[J]
.大电机技术,1998(3):18-22.
被引量:1
2
蔡经球.
一类递归算法的多种计算方案及其比较[J]
.小型微型计算机系统,2000,21(3):253-256.
被引量:4
3
孙乐昌,梁亚声.
论面向对象程序设计方法学[J]
.计算机文汇,1994,1(1X):7-9.
4
王德军,郝永芳.
结构化程序设计方法与面向对象的程序设计方法的比较[J]
.铁路计算机应用,2003,12(11):13-15.
被引量:2
5
欧阳旭华.
面向对象图形用户界面的研究[J]
.电脑与信息技术,1996,4(2):7-9.
被引量:1
6
曹重华,白似雪,杨锦云.
维也纳分析方法及其应用[J]
.南昌大学学报(理科版),2005,29(1):99-102.
被引量:1
7
史晓楠.
软件工程专业“程序设计方法学”教学探讨[J]
.科技信息,2010(15):124-125.
8
湛文红.
网络图形最短路径算法分析与研究[J]
.电脑与电信,2010(7):60-62.
被引量:2
9
徐德启,赵炜,杨小元.
面向对象的程序设计方法初探[J]
.兰州大学学报(自然科学版),1992,28(S1):17-20.
被引量:1
10
刘琼.
从程序设计方法学的角度比较SP方法与OOP方法[J]
.科技信息,2010(12).
计算机应用
2001年 第z1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部