Object Orientation in Z 1992

• Why an Object Oriented Z? 1-5
• Example Specification in Z. 7-17
• Hall's Style. 19-28
• Peter J. Whysall: Z Expression of Refinable Objects. 29-35
• Silvio Romero de Lemos Meira, Ana Cavalcanti: MooZ Case Studies. 37-58
• Gordon A. Rose: Object-Z. 59-77
• Antonio J. Alencar, Joseph A. Goguen: OOZE. 79-94
• Schuman & Pitt Approach. 95-104
• Kevin Lano: Z⁺⁺. 105-112
• Elspeth Cusack, G.-H. Bagherzadeh Rafsanjani: ZEST. 113-126
• Alan Wills: Specification in Fresco. 127-135
• Z and HOOD. 137-138