Object Orientation in Z 1992

Susan Stepney, Rosalind Barden, David Cooper (Eds.): Object Orientation in Z. Workshops in Computing Springer 1992, ISBN 3-540-19778-8

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

Copyright © Tue Mar 16 02:23:06 2010 by Michael Ley (ley@uni-trier.de)