From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,78a1af350f4cf4b X-Google-Attributes: gid103376,public From: Brian Rogoff Subject: Re: Win2000 has 63,000 'defects' Date: 2000/02/15 Message-ID: #1/1 X-Deja-AN: 586276781 References: <38A989B7.2D4D6B56@maths.unine.ch> <2000Feb15.143333.1@eisner> Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: nntp1.ba.best.com 950647753 218 bpr@206.184.139.136 MIME-Version: 1.0 Newsgroups: comp.lang.ada Date: 2000-02-15T00:00:00+00:00 List-Id: On 15 Feb 2000, Hyman Rosen wrote: > kilgallen@eisner.decus.org (Larry Kilgallen) writes: > > I am convinced that a great many of their defects are coding issues. >> > ... snip ... > > Do you have evidence for any of these convictions? For this one http://www.lucent.com/minds/techjournal/apr-jun1998/abstract.html The paper by Yu on "Software Fault Prevention...". This also agrees with my own (biased, personal, insert disclaimer here...) observations. Interestingly, the Erlang guys work in a very similar space and the language they push as leading to robust systems is dynamically typed. Go figure. -- Brian