研究形式化规格说明及其变换技术的主要技术手段有： 　　・基于模型的规格说明及其变换技术； 　　・基于代数结构及其变换技术； 　　・基于时序逻辑的规格说明和验证技术； 　　・基于可视化的形式化技术，等。 　　一个实用的程序变换系统大多采用人机交互或自动变换方式。它由一系列程序变换语言（大多是系统内部的中间语言）及其编译系统、分析验证工具、控制变换过程的工具和变换规则库构成。 变换模型的特点： 　　・该模型只适合于软件的形式化开发方法； 　　・需要严格的数学理论（如逻辑、代数等）和形式化技术支持； 　　・需要一整套开发环境（如程序变换工具、定理证明工具等）的支持； 　　・该模型目前还缺乏相应的支持工具，仍处于手工处理方式； 　　・对软件开发人员要求较高。 　　理论上，一个正确的、满足客户要求的形式化规格说明，经过一系列正确的程序变换后，应当能够生成正确的、计算机系统能够接受的程序代码。但是，目前形式化开发方法在理论、实践和人员培训方面与工程应用还有一定的距离。