摘要：本文介绍了面向转换式程序设计的元语言TrapML。元语言TrapML是根据对面向转换式程序设计的元语言的设计原则、结构与功能等方面进行分析后提出的。该语言具有对象语言语法描述、转换规则描述和转换策略描述设施,可以比较方便地描述转换系统的行为,书写较精确或模糊的转换策略,元程序具有较高的可靠性。

摘要：面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方法和基于程序的测试方法以及测试方法与软件开发过程的集成途径等方面，综述有代表性的研究工作，探讨研究方向．

摘要：元程序设计是转换式程序设计的主要途径之一,本文根据作者对国际有关工作的分析,结合进行转换式程序设计与构造转换系统的实践,在设计与实现元语言的基础上,进一步探讨面向转换式程序设计的元语言的需求、设计原则与语言结构等问题。

摘要：本文提出了一种由输入/输出实例综合***提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化为求解一组程序方程,这组方程可以根据关于程序间等价性的知识求解,从而确定综合结果.本文给出了求解程序方程所需的知识,给出了综合策略,并举例说明了用该方法进行程序综合的过程.

摘要：安全性需求分析旨在需求分析阶段识别应用系统对安全性的特殊要求，为系统设计、实现和测试提供科学依据。本文以医院信息系统为例，探讨计算机应用系统安全性需求分析的方法以及针对安全性需求进行软件系统结构设计的方法。