Two technologies offer much to the software industry; formal specification aids precision and object orientation aids structuring. One popular formal specification language is Z. The paper surveys techniques for adding object-oriented structuring to Z and looks at three of them in more detail
doi:10.1049/sej.1992.0016 | full paper : PDF 3MB