Re: Your suggestions are needed in teaching Formal Spec

Article View: comp.specification

Article #180

Back to comp.specification Previous Next

#180

From: Cliff Jones
Date: Sun, 09 Sep 1990 09:32

20 lines
1033 bytes

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

Technical Details

Message-ID: <1685@m1.cs.man.ac.uk>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!watserv1!watmath!att!tut.cis.ohio-state.edu!cs.utexas.edu!uunet!mcsun!ukc!mucs!cliff

References: <3076@unocss.unomaha.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message