”IEEE-Software，”Cambridge University Press，亦即， 作为 形式化 规格描述语言， （6）Z 没有引入“赋值”概念，没有因为对变量赋值而引起的副作用， 下 图显示一个 Z 规格描述（The X Window System 规格描述）[5]中的 schema 实例 ；