软件工程语言Z.pdf。软件工程中的形式化方法是一种基于数学的软件开发方法，它可应用于软件工程的各个阶段。Z本身是一个书写规格说明的语言，或者说是一种表示法，它是目前人们非常感兴趣的一种规格说明方法。它是由著名计算机科学家Hoare所在的牛津大学程序设计研究组（PRG）的学者在80年代初设计开发的。 -Software Engineering Language Z.pdf. Software Engineering is a formal method of software development based on mathematical method, which can be applied to all stages of software engineering. Z is a specification written in the language, or is an expression, it is currently very interested in people as a method of specification. It is well-known computer scientists from Oxford University where Hoare Programming Research Group (PRG) of the scholars in the design and development in the early 80' s.