OOZS:AN OBJECT ORIENTED EXTENSION TO Z
Gang Li · Journal of Computer Research and Development · 1997
Integrating formal methods and object oriented methods is considered as one of the effective ways to make use of their desirable features in software development. Based on the Z specification language,a structured and object oriented formal specification language OOZS is designed. This paper introduces the basic idea of OOZS and its object oriented features.