一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

应用软件引进的原则和再开发方法的研究

如何引进一个最适合的应用软件，如何制定引进软件的再开发方案，如何将已引进的软件尽快发挥作用，这不仅是用户最关心的现实问题，同时，也是非常复杂的技术难题。本文通过对引进应用软件特性和影响软件使用的分析，结合多年来从事应用软件开发的经验，提出了引进软件的基本原则和二次开发方案的设计与方法。     

面向对象方法与传统开发方法的比较研究

本文总结了前人对ＯＯＡ、功能分解、信息模型、数据流进行比较的结果，并从模型及其构成要素、建模角度、构成方法的原理等方面对ＯＯＡ、ＯＭＴ、ＪＳＤ做了分析对比。