Z is presently the most fashionable formal specification. But as a whole, the theory and technology of Z specification isn't extensively applied in industry field.

是目前最为流行的一种形式规格说明语言，但就总体而言，Z规格说明的理论和技术尚未达到可以在工业界广泛应用的程度。

youdao

This paper introduces the implementation of a Z specification type checker, meanwhile the environment of type check, unification method, substitution strategy are also discussed.

本文介绍Z规格说明类型检查器的实现方法，并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。

youdao

In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediar.

为了解决不同应用中机器人的控制程序设计问题，提出了基于状态转换的机器人程序设计方法。

youdao