由程序规约推导程序

【摘要】：正 1 引言所谓程序规约是程序做什么的精确描述,这种描述可以是非形式化的,即用自然语言描述;也可以是形式化的,即用形式语言描述。所谓程序设计,即根据程序规约设计出满足该规约的程序。计算机界一直希望能够找到一种方法,它能够帮助我们从程序规约出发,用数学的方法,一步步推导出正确的程序。这种方法称为程序的形式化推导。Dijkstra和Gries等倡导的程序设计演算就属于这种方法。但是,由于这种方法在循环不变式开发技术和算法设计方法方面未取得突破,使得它的实用性差,

下载App查看全文

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

1	朱苏兴,冉小晓;运用PAR方法进行算法程序设计[J];福建电脑;2004年11期
2	孙凌宇;薛锦云;;最小生成树算法的PAR方法形式化推导[J];计算机工程;2006年21期
3	单学广;杨庆红;焦莉;;递归问题的非递归实现方法的应用研究[J];计算机与现代化;2011年01期
4	甘伯祥;张文星;;知识表达与逻辑推理—谈PROLOG语言程序设计[J];测绘信息与工程;1985年03期
5	何迪;C语言课程教学方法探析[J];中国培训;2005年07期
6	王逢州;;Java语言程序设计的教学研究与改革[J];电脑知识与技术;2010年35期
7	刘士贤;;程序设计语言(VB)课教学方法探析[J];辽宁教育行政学院学报;2006年04期
8	刘海玲;高洪玉;;高职高专机电专业《C语言程序设计》教学探讨[J];中国科教创新导刊;2008年29期
9	孙炯宁;徐永华;;PBL教学模式在《C语言程序设计》教学改革中的应用和探讨[J];电脑知识与技术;2009年33期
10	王嵩;;《C语言程序设计》教学探索与实践[J];教书育人;2006年35期
11	占炜;;用VB 6.0实现简单数字组合算法程序[J];电脑知识与技术(学术交流);2007年07期
12	胡启敏;薛锦云;;若干算法程序的形式化推导与生成技术研究[J];计算机研究与发展;2008年S1期
13	王美娜;;《C语言程序设计》教学方法探析[J];科教文汇(下旬刊);2007年04期
14	张千锋;;浅谈LabVIEW在语言程序实现中的优势[J];机电产品开发与创新;2010年03期
15	黄明和;刘艳霞;杨柳青;;一类数组算法的演绎综合[J];计算机科学;2000年08期
16	张恒博,魏晓鸣,沃雪梅;程序设计语言类课程设置的分析[J];大连民族学院学报;2005年01期
17	余建军;范一鸣;;C程序设计语言实践教学方法的探讨[J];电脑知识与技术;2008年02期
18	任泰明;;基于ARCS理论构建程序设计语言课的教学案例[J];电脑知识与技术;2009年02期
19	孟艳涛;邵长海;;浅谈如何学习C++语言程序设计[J];中国管理信息化;2009年16期
20	薛锦云;算法程序形式化开发研究[J];云南大学学报(自然科学版);1997年S2期

中国重要会议论文全文数据库

前10条

1	薛慧琦;吴恒;;由程序规约推导程序[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2	石海鹤;薛锦云;;一种基于PAR的高可靠算法程序设计技术[A];第六届中国测试学术会议论文集[C];2010年
3	孙凌宇;冷明;;分划递推法在Hanoi塔问题上的应用[A];广西计算机学会2006年年会论文集[C];2006年
4	覃如贤;;C程序设计语言的教学模式探讨[A];2011高等职业教育电子信息类专业学术暨教学研讨会论文集[C];2011年
5	麦中凡;车敦仁;葛健;;持久性程序设计语言与数据库程序设计语言[A];第十届全国数据库学术会议论文集[C];1992年
6	王昌晶;薛锦云;;PAR平台中结构化需求语言研究[A];2006年全国理论计算机科学学术年会论文集[C];2006年
7	贾金华;彭盈;葛探宇;;以算法为中心的模型表示法及管理系统[A];1992年中国控制与决策学术年会论文集[C];1992年
8	侯米娜;赵致琢;李慧琪;苏剑煌;李松斌;;逻辑程序设计语言Gdel中等词的研究及实现简报[A];2006年全国理论计算机科学学术年会论文集[C];2006年
9	王力;;程序设计教学中的几个关键问题研究[A];2008'中国信息技术与应用学术论坛论文集（一）[C];2008年
10	王新光;万定生;张希伟;;浅谈程序设计语言教学中工程能力的培养[A];2005全国计算机程序设计类课程教学研讨会论文集[C];2005年

中国博士学位论文全文数据库

前10条

1	李斌;智能体结构IASC与面向智能体程序设计语言IAPL的研究及实现[D];南京航空航天大学;2001年
2	唐祖锴;对象代理程序设计语言研究[D];武汉大学;2011年
3	刘晓燕;复杂流程分布式控制系统构件研究与模型变换[D];昆明理工大学;2007年
4	李晗静;基于自然语言处理的空间概念建模研究[D];哈尔滨工业大学;2007年
5	姜励;基于程序设计语言的安全降密模型研究[D];浙江大学;2008年
6	林春晓;基于携带证明的代码的垃圾收集过程验证[D];中国科学技术大学;2008年
7	胡圣明;基于内存自动机与模式的动态引擎构造技术研究[D];西安电子科技大学;2009年
8	杨潇潇;框架时序逻辑程序语言MSVL的形式语义[D];西安电子科技大学;2009年
9	范昭赋;基于算子分量矩阵模型的IMP程序诊断[D];中山大学;2007年
10	陈波;基于软件体系结构的构件模型和语言研究[D];国防科学技术大学;2007年

中国硕士学位论文全文数据库

前10条

1	孙凌宇;PAR方法在组合数学问题中的应用研究[D];江西师范大学;2005年
2	黄海飞;PAR方法在构建高可靠管理信息系统中的应用研究[D];江西师范大学;2007年
3	单学广;基于递推技术的算法程序设计方法的研究与应用[D];江西师范大学;2011年
4	陈阳;基于SPH算法的程序设计及其在成型装药战斗部中的应用[D];中北大学;2012年
5	罗晓娟;PAR方法在解信息学奥林匹克赛题中的应用研究[D];江西师范大学;2006年
6	刘志红;“C/C++与数据结构”综合课程的多媒体软件设计[D];天津大学;2006年
7	王森;基于PAR方法开发算法程序的研究[D];江西师范大学;2004年
8	昌杰;逻辑程序设计语言G（?）del的形式化过程性语义[D];厦门大学;2009年
9	王良霖;G（？）del语言程序计算的可视化研究[D];厦门大学;2008年
10	王龙喜;基于知识仿真的交互式CAI设计方法及其在CCAI中的应用研究[D];四川师范大学;2008年

中国重要报纸全文数据库

前10条

1	吴建丰海丰县广播电视大学;谈《C语言程序设计》教学[N];汕尾日报;2009年
2	四川省广元市职业高级中学张德鹏韩旭东;C语言程序设计中的命名规则[N];电子报;2010年
3	刘江;2007图灵奖、出版2.0与C语言图书揽胜[N];中华读书报;2008年
4	David L. Margulius;CIO应该下决心改变了[N];计算机世界;2007年
5	东经集团CIO/COO 王甲佳;COO是CIO的第一客户[N];中国计算机报;2008年
6	于翔;JavaScript升级引发微软、Mozilla论战[N];网络世界;2007年
7	邢小萍;金蝶OperaMasks 2.0 拼抢SaaS市场[N];网络世界;2008年
8	北京东方通信科技发展有限公司苏洋;OMG IDL语法规则[N];计算机世界;2001年
9	沉香;SCA和SDO规范完成将简化SOA应用开发[N];中国计算机报;2007年
10	文清;又见人月神话重温软工经典[N];中华读书报;2007年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南