Rosalind Barden

According to our database, Rosalind Barden authored at least 5 papers between 1991 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1995

Annotated Z bibliography.

Jonathan P. Bowen, Susan Stepney, Rosalind Barden

Inf. Softw. Technol., 1995

Z in practice.

Rosalind Barden, Susan Stepney, David Cooper

BCS practitioner series, Prentice Hall, ISBN: 978-0-13-124934-9, 1995

1992

A survey of object orientation in Z.

Susan Stepney, Rosalind Barden, David Cooper

Softw. Eng. J., 1992

Support for Using Z.

Rosalind Barden, Susan Stepney

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

1991

The Use of Z.

Rosalind Barden, Susan Stepney, David Cooper

Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991