[comp.software-eng] Formal Requirements

warren@psu-cs.UUCP (Warren Harrison) (10/06/88)

I am currently studying the use of formal requirements methodologies and would
be interested in hearing from anyone whose company uses one.  In particular
I'd like to know which one you're using, why, and if you currently have
automated support for it.  If sufficient interest is shown I will post a
summary.  I'd also be interested in learning the same about specifications.

Thanks.

Warren
-- 
-------------------------------------------------------------------------------
Warren Harrison                 CSNET: warren@pdx.edu
Department of Computer Science  UUCP:  {ucbvax,decvax}!tektronix!psu-cs!warren
Portland State University       Internet: warren%pdx.edu@relay.cs.net
Portland, OR 97207-0751