Article View: comp.specification
Article #170Re: Your suggestions are needed in teaching Formal Spec
From: Cliff Jones
Date: Mon, 03 Sep 1990 12:54
Date: Mon, 03 Sep 1990 12:54
25 lines
1311 bytes
1311 bytes
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
Technical Details
Message-ID:
<1661@m1.cs.man.ac.uk>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!mucs!cliffReferences:
<3076@unocss.unomaha.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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