Path: utzoo!attcan!uunet!aplcen!unmvax!nmt.edu!al
From: al@nmt.edu (Al Stavely)
Newsgroups: comp.software-eng
Subject: Re: Program Derivation Textbook Suggestions??
Message-ID: <1990Oct16.155455.9429@nmt.edu>
Date: 16 Oct 90 15:54:55 GMT
References: <1990Oct15.181603.6770@cec1.wustl.edu>
Organization: New Mexico Tech, USA
Lines: 36


In article <1990Oct15.181603.6770@cec1.wustl.edu> conrad@wucs1.wustl.edu (H. Conrad Cunningham) writes:
>
>	During the spring semester of 1991 I will be teaching a course
>dealing with (sequential, imperative) program specification,
>derivation, and correctness verification.  My current textbook
>candidates include: 
>
>Gries' _The Science of Programming_  (Springer-Verlag, 1981)
>
>Dijkstra & Feijen's _A Method of Programming_ (Addison-Wesley, 1988)
>
>Dromey's _Program Derivation: The Development of Programs from
>	  Specifications_ (Addison-Wesley, 1989)
>
>Gumb's _Programming Logics_ (Wiley, 1989)
>
>I request suggestions/comments from others on these or other
>appropriate books--especially people who have had experience with such
>a course (as the instructor or a student.)  The audience for my course
>includes both seniors and graduate students.
>

I am in a similar situation, although I expect that my audience may include
second and third year CS and math students as well as more advanced students.
I have looked at all the books mentioned and am not entirely happy with any
of them.  I am expecting copies of two new books from publishers (sorry, I
don't have references).

Anyway, I too would appreciate any comments or suggestions from those with
experience or opinions, and I'll mail or post my opinions of the new books
if there is interest.

-- 

	- Allan Stavely, New Mexico Tech, USA