The best tutorial on formal specifications

Article View: comp.specification

Article #378

Back to comp.specification Previous Next

#378

From: Pablo A. Straub
Date: Fri, 10 May 1991 19:50

10 lines
846 bytes

   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

Technical Details

Message-ID: <34341@mimsy.umd.edu>

Path:

arc1-ca.pugleaf.net!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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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