Xref: utzoo comp.specification:142 comp.edu:3537
Path: utzoo!utgpu!watserv1!watmath!att!tut.cis.ohio-state.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: <1685@m1.cs.man.ac.uk>
Date: 9 Sep 90 09:32:21 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: 20

In article <3076@unocss.unomaha.edu> mariam@unocss.unomaha.edu (mariam) writes:
>
>I need your assistance/recommendation/suggestions:
>
>I will be teaching a course in formal
>specification of sfw. ...

You should take a look at the new book by Latham et al.:

The Programming Process - an Introduction using VDM and Pascal

  J Latham, Vicky Bush and Ian D Cottam

PUBLISHED BY:	Addison Wesley
		1990
		16.95 pounds sterling (pb)
		ISBN 0-201-41661-1


cliff jones