57600字硕士毕业论文鉴于PAR方法与德尔菲数据分类相结合的完成
论文类型：硕士毕业论文
论文字数：57600字
论点：形式化,方法,程序
论文概述：
本文在多年的探索性工作之上，利用PAR方法和Apla-Delphi核心转换器，以自扩展的方式，正确的实现了Apla语言定义的组合数据类型，实现了Apla语言数据抽象的思想。由于Apla语言的抽象数据类型得
论文正文：
第一章导言
1。1研究的背景和意义
软件对人类来说是一件全新的事情。它的发展历史只有40或50年。然而，在过去的40到50年里，软件产品的规模和复杂性已经增加了几个数量级。软件需求的增长率大大超过了技术进步带来的软件生产率的增长率。与此同时，软件的可靠性越来越难以保证。这样，软件可靠性差和开发效率低一直困扰着软件业的两大问题。众所周知，开发软件的形式化方法被认为是提高软件可靠性、提高软件开发效率和克服软件危机的有效方法。
PAR方法从软件形式化开始，研究软件开发的本质和规律，逐步扩大软件开发中的形式化范围，直到软件开发完全形式化。在此基础上，薛锦云教授提出了解决问题的递归关系概念、三种新的可重用组件模式、循环不变量的新定义和循环不变量的两种新开发策略。
这种方法结合了形式化和非形式化，正确区分了软件开发过程中的创造性劳动和非创造性劳动。在该方法的指导下，定义了Radl算法设计语言和Apla语言，用Radl语言描述算法规范和抽象算法，用Apla语言描述抽象程序。根据PAR方法，从算法规范到抽象程序，从抽象程序到可执行程序的发展属于非创造性劳动，可以通过形式化方法进行主动和机械的转换。机械转换过程可以通过PAR方法中的一系列自动程序转换系统来完成，从而实现程序开发的部分自动化。此外，由于PAR方法的程序开发是基于PAR方法的形式化推导和证明，为软件开发的安全性和可靠性提供了良好的技术支持和保证。因此，采用PAR方法开发可以大大提高软件的可靠性和开发效率。
同时，博兰公司开发的戴尔菲兼具强大的VC功能和简单易学的VB的特点。它具有基于形式和面向对象的方法、高速编译器、强大的数据库支持、与视窗编程紧密结合、强大成熟的组件技术等特点。因此，通过PAR方法正确实施Delphi程序具有重要意义。
利用PAR方法，可以机械地获得Apla语言描述的算法程序，然后由相应的程序自动转换工具Apla-Delphi自动程序转换系统转换成可执行程序。
APLA-德尔福自动程序转换系统由转换器和可重用组件库组成。该转换器实现了Apla源程序到Delphi源程序的转换。它由词法分析器、语法分析器、语义分析器等组成。可重用组件库主要用于支持通过转换获得的Delphi程序在Delphi环境下编译运行，并得到正确的结果。本文的工作是扩展和完善可重用构件库的内容。
1.2本文的研究内容和全文安排
本文的主要工作如下:
对现有的形式化方法及其支持工具进行了分析和比较，并以PAR方法作为本文的理论基础。将内容添加到可重用零件库中。
研究将Apla语言中的泛型编程机制转换为Delphi语言程序的方法。
研究Apla-Delphi转换器，实现Apla中组合数据类型在Delphi中的具体实现。
改进Apla-Delphi自动程序转换系统。
全文分为五章。
第一章主要介绍软件形式化和PAR方法的思想和结构框架，以及一些国际流行的软件形式化方法和支持工具。
第2章介绍了组合数据类型转换过程中需要的德尔菲的一些基本知识。
第3章阐述了Apla中支持通用机制的自定义抽象数据类型的实现。
第4章阐述了在德尔菲实现组合数据类型。
第五章是对本文工作的展望和总结。
第二章软件形式化……13-23
2.1软件形式化……13-14
2.2 PAR方法……14-16
2.2.1 RAR方法总体……14
2.2.2的例子……适用于PAR方法的14-16 [/BR/] 2.3……16-20[/比尔/] 2.4其他正式方法……20-22[/溴/] 2.4.1Z方法……20 [/溴/] 2.4.2 VDM方法……20-21
2.4.3b方法(参考文献……21-22
2.5摘要……22-23
第3章类别类型……德尔福[23-34/br/]3.1类……德尔福[23/br/]3.2类……德尔福[23-25/br/]3 . 2 . 1类型……23-24
3.2.2类型……24
3.2.3类型……24-25
3.3……25-29
3.3.1数据包……25-28
3.3.2继承……28-29
例如，……29-34
第4章自定义摘要数据……34-41
4.1抽象数据类型……34-35
4.1.1摘要数据……34
4.1.2抽象数据类型……34-35
4.2通用编程……35-36
4.3定制ADT类型……36-41
4.3.1 APLA语通用……36-37 [/BR/] 4.3.2定制自动变速箱类型……37-40 [/BR/] 4.3.3摘要……40-41
摘要
在多年探索工作的基础上，利用PAR方法和Apla-Delphi核心转换器，以自扩展的方式正确实现Apla语言定义的组合数据类型，实现Apla语言数据抽象的思想。由于Apla语言的抽象数据类型已经实现，Apla程序具有数学上的“引用透明性”，这有利于程序的形式推导和证明。
作为Apla-Delphi自动程序转换系统的一部分，这个定制的Delphi组件库支持Apla程序到Delphi程序组合数据类型的转换，有助于实现PAR方法的研究目标——“提高程序设计的可靠性和效率”。事实也证明，开发德尔菲程序的效率和可靠性得到了提高。