[comp.software-eng] Software Development by Cliff Jones

maa@ee.sei.cmu.edu (Mark Ardis) (10/17/89)

In article <5135@lindy.Stanford.EDU> GG.MPD@forsythe.stanford.edu (Michael Durket) writes:

   I'm trying to locate a copy of the book:

      Software Development: A Rigorous Approach

	by Cliff B. Jones

A newer text by Cliff Jones is available:

Systematic Software Development Using VDM
Prentice-Hall International, 1986.

The newer book does not have as many examples, but is probably better
organized for those who want to learn VDM.  Also, the newer book has a
good introduction to data reification, a significant part of the
method in VDM.

--
Mark A. Ardis
Software Engineering Institute
Carnegie-Mellon University
Pittsburgh, PA 15213
(412) 268-7636
maa@sei.cmu.edu