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,
	MSGID_RANDY 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: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Win2000 has 63,000 'defects'
Date: 2000/03/06
Message-ID: <8a1g93$ijs$1@nnrp1.deja.com>#1/1
X-Deja-AN: 594020861
References: <38A989B7.2D4D6B56@maths.unine.ch>
 <t7u2ja5lpx.fsf@calumny.jyacc.com> <2000Feb15.143333.1@eisner>
 <t7r9ee5ihu.fsf@calumny.jyacc.com> <2000Feb15.155800.1@eisner>
 <t7itzqcdw2.fsf@calumny.jyacc.com> <150220001931201946%emery@grebyn.com>
 <88hbpp$j4i$1@news.btv.ibm.com> <88ma3c$p6a$1@nnrp1.deja.com>
 <2000Feb21.071938.1@eisner> <38C09E9F.2C752521@earthlink.net>
 <38C3D03D.FD5D39D1@earthlink.net>
X-Http-Proxy: 1.0 x42.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Mon Mar 06 23:51:00 2000 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
Date: 2000-03-06T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <38C3D03D.FD5D39D1@earthlink.net>,
  Charles Hixson <charleshixsn@earthlink.net> wrote:
> Somehow I tend to feel that both extremes are wrong here.
Yes, one should
> write the best code that one can.  Yes, one should include all
reasonable
> error checks. (A few kind words for Design By Contract go
here.) But one
> still needs debugging tools.

Not necessarily, the clean-room style has no room whatsoever
for debugging tools, since in this approach the development
team does not run or test the code they write, let alone
use debuggers on it! Very high quality software can and
has been written using this approach.

Actually a lot of Ada programmers find that all they really
need is a good symbolic back trace, and many people use a
debugger only to obtain this information.


Sent via Deja.com http://www.deja.com/
Before you buy.