Title :
A survey of object orientation in Z
Author :
Stepney, Susan ; Barden, Rosalind ; Cooper, David
Author_Institution :
Logica Cambridge Ltd., UK
fDate :
3/1/1992 12:00:00 AM
Abstract :
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
Keywords :
formal specification; object-oriented programming; specification languages; Z; formal specification language; object-oriented structuring;
Journal_Title :
Software Engineering Journal
