Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!lll-winken!elroy.jpl.nasa.gov!swrinde!zaphod.mps.ohio-state.edu!wuarchive!udel!haven.umd.edu!mimsy!jogger.cs.umd.edu!straub
From: straub@jogger.cs.umd.edu (Pablo A. Straub)
Newsgroups: comp.specification
Subject: The best tutorial on formal specifications
Message-ID: <34341@mimsy.umd.edu>
Date: 10 May 91 19:50:48 GMT
Sender: news@mimsy.umd.edu
Reply-To: straub@cs.umd.edu (Pablo A. Straub)
Organization: U. of Maryland, Dept. of Computer Science, College Park, MD 20742
Lines: 10


   Which do you think is THE tutorial paper on formal  specification  of
   requirements?

   I want to give one paper or book  chapter  as  required  reading  for
   undergraduate students in a Software Engineering course.

   Thanks for your responses

   Pablo Straub