收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

Apla组合数据类型的Delphi实现

康亮  
【摘要】: 薛锦云教授在国家863和多项国家自然科学基金的资助下,创造性地提出了一种形式化开发方法——PAR方法。就是用数学与逻辑的方法来描述和验证软件,而PAR方法描述的程序又是经过严格的推导、证明,所以保证了程序的正确性和可靠性。而且由于PAR方法和PAR自动转换系统实现有算法规约到抽象程序以及到可执行程序的自动转换,这样就部分实现了软件开发的自动化。 其中Apla是一种抽象算法描述语言,它具有高度抽象、表达力强等特点。Apla语言把树、图、集合、序列等组合数据类型作为预定义类型,并且含有明显的语法机制支持泛型程序设计和用户自定义ADT类型。相反,Object Pascal中不能直接使用树、图、集合、序列等组合类型。如何在Delphi中很好的支持Apla的这些机制是本论文所要研究的重点和难点,Apla--Delphi自动程序转换系统的目标是使得所有正确的Apla程序都能通过转换器得到正确的Delphi程序,并且能运行得到正确结果。该转换器的源语言是Apla,目标语言是Delphi编译器所使用的Object Pascal。 本文所做的研究是PAR方法的重要组成部分。也是国家自然科学基金课题《实用的软件形式化方法及其开发工具研究》的重要组成部分。本项研究的主要目标是进一步的完善自动转换器中的部件库的内容。正确地实现Apla语言中的组合数据类型在Delphi中的实现。 针对上述研究目标,本论文主要进行了以下工作: 分析比较现有的形式化方法及其配套工具,并以PAR方法作为本文研究的理论基础。 研究Apla语言中的泛型程序设计机制转换为Delphi语言程序的方法。 研究Apla-Delphi转换器,实现Apla中的组合数据类型到Delphi中的具体实现。 完善Apla-Delphi自动程序转换系统。 进一步的工作包括完善Apla--Delphi自动程序转换系统的转换机制;提高Apla-Delphi自动程序转换系统的可靠性;增加Apla转换实例,使产品的商品化程度提高,可以进一步产品化并应用到实际的软件开发中去以促进软件产业的快速发展。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 段友祥;宋惠英;宫发明;;也谈“数据结构”课程教学的几个问题[J];计算机教育;2010年04期
2 徐雄,龚世生;面向对象继承机制的探讨[J];现代计算机;1998年03期
3 肖基毅;面向对象程序设计中的数据抽象及应用[J];湘潭大学自然科学学报;1999年02期
4 邢丹;姚俊明;厉群;高婷;;抽象数据类型概念多角度理解的教学探索[J];电脑知识与技术;2011年15期
5 赵晓群;;面向对象程序设计方法的探讨[J];常州工学院学报;1993年04期
6 刘定飞,夏红霞,钟珞;抽象数据类型条件方程的求取[J];小型微型计算机系统;1994年04期
7 李晓虹;李世奇;杨有;;C++中verylong的数据抽象分析和扩展[J];三峡大学学报(自然科学版);2006年02期
8 高原;耿国华;董乐红;;基于关系数据库的空间对象处理技术研究[J];计算机应用与软件;2007年06期
9 陈意云,郭青;代数规范说明的基础[J];计算机工程与设计;1989年01期
10 杨有;李晓虹;尚晋;;C~(++)中超长整型类型的构造与实现[J];计算机科学;2008年01期
11 张乃孝;;数据结构体系分析[J];计算机研究与发展;1988年05期
12 钟珞;基于抽象数据类型的程序设计语言的设计[J];计算机应用研究;1991年01期
13 秦小麟,林钧海;关系数据库中用户定义数据类型及操作的引入与处理[J];计算机研究与发展;1991年04期
14 蔡家楣;ML语言环境下抽象数据类型的构造型说明[J];浙江工业大学学报;1994年03期
15 陈卫卫;陈卫东;;通用DLL的实现方法及比较[J];军事通信技术;2001年03期
16 晏素芹;;面向对象方法与抽象数据类型的实现[J];内蒙古科技与经济;2008年19期
17 杜莹;于静洋;;抽象数据类型概念的教学探索[J];计算机教育;2009年04期
18 李橙;;也谈出栈序列的计算[J];电脑知识与技术;2009年36期
19 秦小麟,林钧海,王雪,徐笛子,皮德常;基于ADT的可扩充DBMS的研究与实现[J];小型微型计算机系统;1996年11期
20 朱涛;基于C/C++语言的数据结构描述的对比与分析[J];福建电脑;2005年07期
中国重要会议论文全文数据库 前10条
1 朱洁;傅铁华;何守才;;增强型抽象数据类型处理技术的探索[A];第十五届全国数据库学术会议论文集[C];1998年
2 李晓虹;李世奇;杨有;;C++中verylong的数据抽象分析和扩展[A];湖北省机械工程学会青年分会2006年年会暨第2届机械学院院长(系主任)会议论文集(下)[C];2006年
3 揭安全;薛锦云;;一种基于Apla-Java可重用部件库的并行(并发)程序开发方法[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
4 刘润杰;申金媛;穆维新;;形式化开发非递归Koch曲线算法[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
5 任鑫;金蓓弘;;Java源程序中设计度量的自动提取[A];Java技术及应用的进展——第七届中国Java技术及应用交流大会文集[C];2004年
6 王家华;郑友松;郑怀远;;Ada语言与面向对象的数据库[A];第十届全国数据库学术会议论文集[C];1992年
7 卢国珠;;Oracle对象关系技术在PDM中的应用研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(上册)[C];2008年
8 田新锋;李战怀;胡正国;;基于ORDBMS的多维数据结构[A];第十六届全国数据库学术会议论文集[C];1999年
9 谢冀;张晓甦;;商业银行贷款组合的信用度量制研究和实证分析[A];全国第九届企业信息化与工业工程学术会议论文集[C];2005年
10 袁一泓;高勇;;基于对象关系数据库的时空数据存储与访问技术[A];中国地理信息系统协会第四次会员代表大会暨第十一届年会论文集[C];2007年
中国博士学位论文全文数据库 前6条
1 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
2 姚震;并行程序设计模型若干问题研究[D];中国科学技术大学;2006年
3 包磊;时空数据库中不确定性处理技术若干关键问题研究[D];南京航空航天大学;2006年
4 陈浩然;面向移动区域的移动对象数据库研究[D];中国科学技术大学;2008年
5 胡伟平;可扩展编译系统的关键技术研究[D];中国科学院研究生院(计算技术研究所);1998年
6 赵俊美;基于对象—关系模型的空间数据建模研究[D];中国地质大学(北京);2007年
中国硕士学位论文全文数据库 前10条
1 康亮;Apla组合数据类型的Delphi实现[D];江西师范大学;2008年
2 廖卫兵;基于PAR方法下的组合数据类型的Delphi实现[D];华东师范大学;2008年
3 左正康;Apla→C#自动程序转换系统的设计与实现[D];江西师范大学;2004年
4 杨淑群;PAR方法在数值计算中的应用研究[D];江西师范大学;2003年
5 周侃;支持泛型程序设计的APLA-Delphi自动程序转换系统[D];江西师范大学;2003年
6 蒋毅剑;APLA组合数据类型的C++实现[D];江西师范大学;2002年
7 石海鹤;支持泛型程序设计的Apla-Java自动程序转换系统[D];江西师范大学;2004年
8 赖勇;APLA到C++自动程序转换系统的研制[D];江西师范大学;2002年
9 施炜;PAR方法应用于管理信息系统开发方法的初步研究[D];江西师范大学;2004年
10 应勇;RADL->APLA算法程序自动转换器实验系统研究[D];江西师范大学;2003年
中国重要报纸全文数据库 前10条
1 刘恕;中国最新超级计算机速度5.324万亿次/秒[N];科技日报;2003年
2 ;从数据看联想深腾6800[N];计算机世界;2004年
3 方格;第四代GIS崭露端倪[N];中国计算机报;2003年
4 西南证券 张刚;基金首季十大增仓股票曝光[N];南方日报;2006年
5 英文;联想深腾6800获信产部重大技术发明奖[N];科技日报;2005年
6 文明;深腾6800荣获2005年国家科技进步奖[N];科技日报;2006年
7 西南证券 周兴政;QDII投资经验教训值得借鉴[N];中国证券报;2008年
8 赵彤刚;投基:从行业配置到精选个股[N];经济视点报;2008年
9 吴玥;潜力基金长啥样[N];上海金融报;2008年
10 付腾弘;三维可视化软件提高储量管理技术水平[N];地质勘查导报;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978