🚀 go-pugleaf

straub@cs.umd.edu (Pablo A. Straub) wrote:
> From: elkassas@eb.ele.tue.nl (sherif el kassas)

> The specification of complex systems by B. Cohen, W.T. Harwood and  M.I.
> Jackson.  -  Amsterdam  :  Addison-Wesley,  1986.  -  XII, 143 p. - ISBN
> 0-201-14400-X. A nice introduction. It builds up the argument/motivation
> for using formal  methods.  It's  most  important  feature  is  that  it
> compares  and  overviews the main approaches to formal methods (i.e. the
> process, model, and algebraic approaches).

I didn't like the algebraic section of this book at all.  You get presented
with a very complicated and unusually structured specification in one swell
foop, with no hint as to how the author might have arrived at it.

Much of the literature on model-based specification does quite well at
describing how you start constructing a spec and the tradeoffs involved in
different factorizations.  I don't know anything as good from the algebraic
side; does anyone?


-- 
--  Jack Campin   Computing Science Department, Glasgow University, 17 Lilybank
Gardens, Glasgow G12 8QQ, Scotland   041 339 8855 x6854 work  041 556 1878 home
JANET: jack@dcs.glasgow.ac.uk   BANG!net: via mcsun and ukc   FAX: 041 330 4913
INTERNET: via nsfnet-relay.ac.uk   BITNET: via UKACRL   UUCP: jack@glasgow.uucp