收藏本站
《2005年全国理论计算机科学学术年会论文集》2005年
收藏 | 手机打开
二维码
手机客户端打开本文

由程序规约推导程序

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

手机知网App
【共引文献】
中国期刊全文数据库 前9条
1 邓笋根,王明文;基于PAR方法的并行最大和算法的推导[J];江西师范大学学报(自然科学版);2001年02期
2 李欣,薛锦云;EGCL-Java程序转换器的研究与实现[J];江西师范大学学报(自然科学版);2001年02期
3 揭安全;薛锦云;;Apla-Java可重用部件库并行、并发机制的研究[J];江西师范大学学报(自然科学版);2006年04期
4 石海鹤;石海鹏;薛锦云;;形式化开发若干组合数学问题的算法[J];江西师范大学学报(自然科学版);2006年05期
5 化志章;杨庆红;揭安全;;树非递归遍历统一的新解法及其形式证明[J];江西师范大学学报(自然科学版);2010年02期
6 杨晨;;PAR在数学算法中的应用[J];电脑知识与技术;2010年07期
7 杨淑群,余巍巍;软件自动化的新途径[J];抚州师专学报;2003年03期
8 郑宇军;薛锦云;凌海风;;组合优化问题简约与算法推演[J];软件学报;2011年09期
9 李云清;荷兰国旗问题的形式化推导及其多态性实现[J];计算机工程与设计;2002年08期
中国重要会议论文全文数据库 前6条
1 孙凌宇;冷明;;分划递推法在Hanoi塔问题上的应用[A];广西计算机学会2006年年会论文集[C];2006年
2 郑宇军;石海鹤;薛锦云;;Spec#语言中的形式化特性[A];2005年全国理论计算机科学学术年会论文集[C];2005年
3 胡启敏;薛锦云;;Solving Path Problems with Component Composition[A];2006年全国理论计算机科学学术年会论文集[C];2006年
4 王昌晶;薛锦云;;PAR平台中结构化需求语言研究[A];2006年全国理论计算机科学学术年会论文集[C];2006年
5 揭安全;薛锦云;;一种基于Apla-Java可重用部件库的并行(并发)程序开发方法[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
6 石海鹤;薛锦云;;一种基于PAR的高可靠算法程序设计技术[A];第六届中国测试学术会议论文集[C];2010年
中国博士学位论文全文数据库 前1条
1 张春富;基于激光跟踪仪的固体火箭发动机推力线测量技术研究[D];哈尔滨工业大学;2007年
中国硕士学位论文全文数据库 前10条
1 苏昭;关系代数→关系演算转换系统的研制[D];江西师范大学;2010年
2 杨晨;基于PAR平台的最弱前置谓词生成器的设计与实现[D];江西师范大学;2010年
3 朱阅岸;解0-1背包问题的算法比较和改进[D];暨南大学;2011年
4 赖勇;APLA到C++自动程序转换系统的研制[D];江西师范大学;2002年
5 蒋毅剑;APLA组合数据类型的C++实现[D];江西师范大学;2002年
6 张少平;基于结构化自然语言的算法规约研究[D];江西师范大学;2003年
7 应勇;RADL->APLA算法程序自动转换器实验系统研究[D];江西师范大学;2003年
8 杨淑群;PAR方法在数值计算中的应用研究[D];江西师范大学;2003年
9 漆志群;基于算法框架的软件设计及分析复用技术研究[D];江西师范大学;2003年
10 周侃;支持泛型程序设计的APLA-Delphi自动程序转换系统[D];江西师范大学;2003年
【相似文献】
中国期刊全文数据库 前10条
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期
中国重要会议论文全文数据库 前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 吴建丰海丰县广播电视大学;谈《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年
中国博士学位论文全文数据库 前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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026