基于算法框架的软件设计及分析复用技术研究

摘要

该文提出的基于算法框架的软件设计及分析复用技术是利用薛锦云教授提出的PAR方法,对算法程序进行形式化推导,得到其抽象算法.抽象算法的得出可以使设计出的算法适应面更广,复用性更高,在一定程度上实现了设计及分析复用.面代码的复用则通过JAVA语言来实现.利用JAVA语言的继承和多态性,通过使用抽象类或接口来实现操作的参数化,以达到代码的复用.该文以软件复用和形式化方法为主要研究对象.详细探讨了软件复用的不同层次,目前流行的软件复用技术以及不同软件复用层次的实现方法和研究现状.同时也阐述了形式化方法的原理及主要内容.通过对以上内容的研究,该文提出了一咱基于算法框架的软件设计及分析复用技术.依据该技术可以把看似孤立的一些问题统一在某个框架下,很大程度上实现了软件设计和分析复用,为实现框架复用开辟了一条新思路.同时,某类问题的求解过程中的形式化推导、正确性证明等都可以实现复用,从而为实现软件开发全过程的复用研究提供一种有效的途径.

目录

内容摘要

致谢

引言

一、本文的研究背景

二、本文的研究内容及意义

第一章软件复用概述

1.1软件复用的定义

1.2软件复用的特点和现状

1.3软件复用的主要困难

1.3.1技术因素

1.3.2非技术的因素

1.4软件复用的重要性

1.5软件复用分类

1.6流行的软件复用技术

1.6.1框架和构件

1.6.2框架和设计模式

1.6.3框架和构架

第二章面向对象技术与软件复用

2.1面向对象方法对软件复用的支持

2.2复用技术对面向对象方法的支持

2.3面向对象框架技术的开发

2.3.1面向对象框架技术开发的原因

2.3.2框架的两种类型

2.3.3应用框架的设计技术

2.4 JAVA语言对软件复用的支持

第三章形式化开发方法和软件复用

3.1形式化开发方法的作用与开发途径

3.2典型的形式化方法的简介

3.2.1 Z方法

3.2.2 VDM方法

3.2.3 RAISE方法

3.3 PAR方法

3.4形式化开发方法和软件复用的关系

第四章实现代码和分析设计复用的研究

4.1总体思想

4.2有效实现的原因

4.3实现的基本步骤

第五章应用实例

5.1荷兰国旗及其相关的一类问题

5.2最小和段问题及相关问题

5.3二叉树中对结点的遍历问题

第六章总结

参考文献