author : David Cooper

Books

• Object Orientation in Z. 1992, with Susan Stepney, Rosalind Barden
• Z in Practice. 1994, with Rosalind Barden, Susan Stepney

Short works

• The Use of Z. 1992. (In 6th Z User Workshop )
• More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. 1998. (In ZUM '98 )
• Formal Methods for Industrial Products. 2000. (In ZB 2000 )
• Segregation with Communication. 2000. (In ZB 2000 )

Books : reviews

Susan Stepney, Rosalind Barden, David Cooper, eds.
Object Orientation in Z.
Springer. 1992

(read but not reviewed)

book details

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

Rosalind Barden, Susan Stepney, David Cooper.
Z in Practice.
Prentice Hall. 1994

(read but not reviewed)

book details