Susan Stepney, Rosalind Barden, David Cooper, eds.
Object Orientation in Z.
Springer. 1992
(read but not reviewed)
Contents
- • Peter J. Whysall. Z Expression of Refinable Objects. 1992
- • Silvio Lemos Meira, Ana L. C. Cavalcanti. MooZ Case Studies. 1992
- • Gordon A. Rose. Object-Z. 1992
- • Antonio J. Alencar, Joseph A. Goguen. OOZE. 1992
- • Kevin C. Lano. Z++. 1992
- • Elspeth Cusack, G. Hossein Bagherzadeh Rafsanjani. ZEST. 1992
- • Alan Cameron Wills. Specification in Fresco. 1992
