Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!uwm.edu!gem.mps.ohio-state.edu!rpi!batcomputer!cornell!rochester!pt.cs.cmu.edu!sei!ee.sei.cmu.edu!maa
From: maa@ee.sei.cmu.edu (Mark Ardis)
Newsgroups: comp.software-eng
Subject: RE: Software Development by Cliff Jones
Message-ID: <MAA.89Oct17114822@ee.sei.cmu.edu>
Date: 17 Oct 89 15:48:22 GMT
Sender: maa@sei.cmu.edu
Distribution: comp.software-eng
Organization: Software Engineering Institute, Pittsburgh, PA 15213
Lines: 25

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