软件开发的形式化方法被当今计算机界誉为克服“软件危机”，提高软件可靠性和生产效率的革命性途径。形式化开发方法中，人们利用软件的规格说明来描述计算机“做什么”。目前Z是最为流行的一种规格说明语言，于2002年在ISO指导下完成了国际标准化Z工作，正逐渐应用于工业界各个领域。然而由于Z规格说明的抽象性和复杂性，还未为程序员广泛接受并使用。本文首先介绍了Z规格说明的基本数据类型和复合数据类型，并举例给出了建立在复合数据结构上的操作。其次，简要阐述了词法分析的处理过程，语法处理的基本思想及出错处理。然后，针对Z规格说明的组成结构，提出了模式的处理框架，使得Z规格说明中声明和谓词的求精处理更加灵活。最后给出了求精的常见错误及其处理。本课题主要研究Z规格说明关系和函数的分析处理和求精，其主要步骤如下：将规范化的Z规格说明进行词法处理和语法处理，再根据数据类型的不同，结合STL对数据结构和通用算法的强大支持功能和自己编写部分代码，分别进行语义和求精处理，解决关系和函数的存储及操作，在不改变Z规格说明原有意义的基础上，从而实现了Z规格说明到中间代码，再到C++代码的自动转换。本文的实现为软件工程概要设计阶段提供新思路，有助于将软件工程语言应用于软件开发实践，使软件开发过程更加合理，软件设计更加周密，软件开发的资金分配更加明确，进而达到降低软件开发成本和减少软件后期维护的目的。