Apla-VB.NET自动程序转换系统的设计与实现

摘要	第1-3页
ABSTRACT	第3-5页
目录	第5-7页
引言	第7-11页
研究背景	第7-8页
研究现状	第8页
本文的主要工作与组织	第8-11页
1 本文的主要工作	第8-9页
2 本文的组织	第9-11页
第一章 形式化开发方法研究	第11-19页
·形式化方法	第11-12页
·形式化方法的分类	第11-12页
·形式化软件开发方法的优点	第12页
·典型的形式化开发方法及其支持工具	第12-15页
·新型软件开发方法PAR及其支撑平台	第15-19页
·PAR方法及PAR平台简介	第15-16页
·PAR方法提出并解决的关键技术	第16-17页
·应用前景	第17-19页
第二章 .NET框架简介	第19-25页
·.NET框架的体系结构	第19-21页
·.NET框架的优点	第21-23页
·小结	第23-25页
第三章 自动程序转换系统的设计和实现	第25-35页
·转换系统的总体设计	第25-26页
·转换模块的设计与实现	第26-28页
·转换规则	第28-29页
·可重用部件库的设计与实现	第29-31页
·用户界面的设计与实现	第31-35页
第四章 自动程序转换系统的应用举例	第35-53页
·转换实例一：前序遍历二叉树	第35-39页
·转换实例二：二叉树排序	第39-43页
·转换实例三：最小带权路径问题	第43-47页
·转换实例四：用序列实现的快速排序	第47-50页
·转换实例五：数据库实例	第50-53页
第五章 结束语	第53-55页
·工作总结	第53-54页
·进一步工作展望	第54-55页
参考文献	第55-59页
致谢	第59页