[comp.software-eng] Information wanted on functional verification and cleanrooms

jimst@.mentor.com (Jim Stanley) (11/26/90)

IEEE Software magazine, Nov. 1990, contains an article by Cobb and Mills
titled 'Engineering Software Under Statistical Quality Control.'  In
the article, the authors make a number of interesting claims about the
use of 'cleanroom' development technologies, and about the use of
functional verification techniques.

I'm interested to hear from people using either (or both!) of these
techniques.  Do they work as claimed?  How do developers, QA people,
etc., react to working in this environment?  

Also, how widely used and studied is functional verification?  
The authors cite a text from 1979; can someone recommend some more 
recent references?  I'm particularly interested in learning more about
functional verification, aside from the cleanroom development techniques.

Thanks in advance.

-- 
uucp:     jimst@mntgfx.mentor.com
US Mail:  James Stanley, CASE Div, Mentor Graphics, Inc.
          8600 Creekside Pl., Beaverton OR 97005
Phone:    503-626-7000x2742