Xref: utzoo comp.specification:130 comp.edu:3525
Path: utzoo!attcan!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!rice!uw-beaver!zephyr.ens.tek.com!tektronix!sequent!upba!dsndata!unocss!mariam
From: mariam@unocss.unomaha.edu (mariam)
Newsgroups: comp.specification,comp.edu
Subject: Your suggestions are needed in teaching Formal Spec
Message-ID: <3076@unocss.unomaha.edu>
Date: 31 Aug 90 19:00:54 GMT
Organization: Univ. of Nebraska at Omaha - Computer Science
Lines: 29


I need your assistance/recommendation/suggestions:

I will be teaching a course in formal
specification of sfw. (It is actually a second
course in sfw engineering, so its prerequisite
is an introductory course in sfw engineering.)
I am looking for a good textbook.

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 am considering the following:

    Berzin & Luqi: Sfw Engineering with Abstraction

but that's basically a sfw engineering textbook.

Any suggestions as to what other books I should consider?
(I also considered David Gries' book: The Science of
Programming- but as its name implies, its basically about
developing programs, ivariants, etc.)

Thanks in advance...
mariam@unocss.unomaha.edu