Path: utzoo!utgpu!watserv1!watmath!att!pacbell!pacbell.com!mips!zaphod.mps.ohio-state.edu!usc!snorkelwacker!bloom-beacon!eru!luth!sunic!lth.se!newsuser
From: rn@tts.lth.se (Richard Niklasson)
Newsgroups: comp.software-eng
Subject: Cleanroom software engineering
Message-ID: <1990Jun4.112334.20637@lth.se>
Date: 4 Jun 90 11:23:34 GMT
Sender: newsuser@lth.se (LTH network news server)
Reply-To: rn@tts.lth.se (Richard Niklasson)
Organization: Communication Systems, Lund Institute of Technology, Sweden
Lines: 15


I have heard some rumours about "Cleanroom software engineering"
(Harlan D Mills ?). Anyone out there having any reference to books,
articles, tools.... or any comments on the methodology?

It should be a methodology for program verification (if I got it
right) and it has been used by NASA (spaceshuttle).

_______________________________________________________________________________
       Richard Niklasson             !      INTERNET:    rn@tts.lth.se 
       E-P Telecom / Q-Labs          !      EARN/BITNET: erlangrn@seldc51
       Research Park IDEON           !      MEMO:        mprog.epkrn         
       S-223 70  LUND                !      FAX:         +46-46-152880
       Sweden                        !      PHONE:       +46-46-182982
-------------------------------------------------------------------------------