Xref: utzoo comp.specification:133 comp.edu:3527
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!mucs!cliff
From: cliff@cs.man.ac.uk (Cliff Jones)
Newsgroups: comp.specification,comp.edu
Subject: Re: Your suggestions are needed in teaching Formal Spec
Message-ID: <1661@m1.cs.man.ac.uk>
Date: 3 Sep 90 12:54:19 GMT
References: <3076@unocss.unomaha.edu>
Sender: news@cs.man.ac.uk
Reply-To: cliff@cs.man.ac.uk (Cliff Jones)
Followup-To: comp.specification
Organization: Department of Computer Science, University of Manchester UK
Lines: 25

In article <3076@unocss.unomaha.edu> mariam@unocss.unomaha.edu (mariam) writes:
>
>The following books are a little too advanced 
>for the kind of students we have (otherwise,
>their approaches are excellent):
>
>    Bj0rner & Jones: Formal Spec & Software Development
>    Cohen, et al: The Specification of Complex Systems
>
I understand that our book is now anyway Out of Print.
You might consider:

	
@book{Jones90a,
	author	    =	"C. B. Jones",
	title	    =	"Systematic Software Development using VDM",
	edition =	{Second},
	publisher   =	"Prentice Hall International",
	year	    =	"1990"
}
 This tries to cover VDM at a more "programmer" level than our joint
 book which focussed of the formal specifocation of Programming
 lAnguages.

cliff jones