Xref: utzoo comp.specification:394 comp.software-eng:6099
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!aplcen!boingo.med.jhu.edu!haven.umd.edu!mimsy!jogger.cs.umd.edu!straub
From: straub@jogger.cs.umd.edu (Pablo A. Straub)
Newsgroups: comp.specification,comp.software-eng
Subject: Can you share your specifications?
Message-ID: <36068@mimsy.umd.edu>
Date: 29 Jun 91 18:55:42 GMT
Sender: news@mimsy.umd.edu
Reply-To: straub@cs.umd.edu (Pablo A. Straub)
Followup-To: comp.specification
Organization: U. of Maryland, Dept. of Computer Science, College Park, MD 20742
Lines: 20


   I am doing some research on the process of specification  and  design
   of  software,  as  part  of  my graduate studies at the University of
   Maryland.

   To test my ideas, I need to see requirements and  specifications  for
   those   requirements.  The  problem  is  that  the  only  sources  of
   specifications available to me are toy problems from papers and  huge
   systems at the NASA Software Engineering Laboratory.

              Do you have small but nontrivial specifications
                      that you are willing to share?

   The ideal would be small specifications specification  for  a  useful
   program.  Because I'm only interested in doing some (manual) analysis
   on the specs I will treat any material sent to me confidentially.

   If you can help me, please email.

   Thanks,  Pablo A. Straub