z符号
z符号是用于描述和建模计算系统的正式规范语言。它是针对计算机程序和基于计算机系统的明确规范。
历史
1974年，让·雷蒙德·阿布里亚尔（Jean-Raymond Abrial）出版了“数据语义”。他使用的符号后来在格勒诺布尔大学（University of Grenoble）进行教授，直到1980年代末。在EDF（ France的EdfricitédeFrance ）时，与Bertrand Meyer合作，Abrial还研究了开发Z。Z符号用于1980年的《梅索德斯》 （Méthodesde）编程。
Z最初是由Abrial于1977年在Steve Schuman和Bertrand Meyer的帮助下提出的。它是在牛津大学的编程研究小组中进一步开发的，1979年9月，Abrial在1980年代初期在牛津大学工作。
Abrial表示，Z被称为“因为这是最终的语言！”尽管“ Zermelo ”的名称也与Z符号相关联，它通过使用Zermelo -Fraenkel集理论。
1992年，建立了Z用户组（ZUG），以监督有关Z符号的活动，尤其是会议和会议。
用法和符号
z基于公理集理论中使用的标准数学符号， lambda conculus和一阶谓词逻辑。 Z符号中的所有表达式均已键入，从而避免了幼稚集理论的一些悖论。 Z包含使用Z本身定义的常用数学函数和谓词的标准化目录（称为数学工具包）。它使用Z模型框进行扩展，Z模式框可以使用其自己的操作员，基于标准逻辑运算符以及通过在其他模式中包括模式组合。这允许以方便的方式将Z规格构建为大规格。
因为z符号（就像APL语言一样，在它之前很久以前）使用了许多非ASCII符号，因此规范包括呈现z符号符号和乳胶中的z符号符号的建议。所有标准Z符号也都有Unicode编码。
标准
ISO在2002年完成了Z标准化工作。此标准和技术误解可从ISO Free提供：
- 该标准是免费从ISO ITTF站点公开获得的，并单独从ISO网站购买；
- ISO站点可以免费获得技术折叠。
奖
1992年，牛津大学计算实验室因其与Z符号IBM的共同发展而获得了女王奖。