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