TQ combine Z notation with object-oriented techniques, this paper addsobject type and module mechanisrn to Z and makes it become object-oriented formal specifi-cation language COOZ. The paper includes the design ideas of COOZ, syntax and explana-tions, formal semantics, a small case and comparison with the related work.