Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!mcsun!hp4nl!cwi.nl!arie
From: arie@cwi.nl (Arie v. Deursen)
Newsgroups: comp.specification
Subject: Re: The best tutorial on formal specifications
Message-ID: <3572@charon.cwi.nl>
Date: 22 May 91 09:21:46 GMT
References: <34341@mimsy.umd.edu> <34698@mimsy.umd.edu> <1991May21.145227.9474@porthos.cc.bellcore.com>
Sender: news@cwi.nl
Reply-To: arie@cwi.nl
Organization: Centre for mathematics & computer science
Lines: 24


An excellent _book_ on formal specifications is:
@BOOK{GM86,
  KEY           = "GM86",
  EDITOR        = "N. Gehani and A.D. McGettrick",
  TITLE         = "Software specification techniques",
  PUBLISHER     = "Addison-wesley publishing company",
  YEAR          = 1986
}

The book brings together 21 important (and by now sometimes "classical")
articles on (formal) specification. The articles are grouped in four sections,
each of which considers a particular aspect of the subject.
The book is from 1986, so _very_ recent articles are not covered.



(I got the tip quite a while ago from this newsgroup as well).


CWI, P.O. Box 4079 			Arie van Deursen (arie@cwi.nl)
1009 AB Amsterdam
The Netherlands			   Ich weiss nicht was soll es bedeuten ...
Tel. 31 20 5924007