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