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: 109fba,b87849933931bc93
X-Google-Attributes: gid109fba,public
X-Google-Thread: fac41,b87849933931bc93
X-Google-Attributes: gidfac41,public
X-Google-Thread: 1108a1,b87849933931bc93
X-Google-Attributes: gid1108a1,public
X-Google-Thread: 103376,b87849933931bc93
X-Google-Attributes: gid103376,public
X-Google-Thread: 114809,b87849933931bc93
X-Google-Attributes: gid114809,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: OO, C++, and something much better!
Date: 1997/01/29
Message-ID: <dewar.854543281@merv>#1/1
X-Deja-AN: 213010179
references: <JSA.97Jan16141937@alexandria> <5buodl$bci@boursy.news.erols.com>
 		<32E2FEC7.2F7B@concentric.net> <5bvncj$gqg$1@A-abe.resnet.ucsb.edu>
 		<32E47B4B.56D9@concentric.net> <6PI998tV3RB@herold.franken.de>
 		<32E68D40.65EC@parcplace.com> <JSA.97Jan24191048@alexandria>
 <32E999AE.2F68@parcplace.com> <dewar.854327202@merv>
 <01bc0c4d$8a0108f0$c318b993@jarvisb> <dewar.854377413@merv>
 <32ECFC11.4F23@parcplace.com>
organization: New York University
newsgroups: 
 comp.object,comp.lang.c++,comp.lang.ada,comp.lang.smalltalk,comp.lang.eiffel
Date: 1997-01-29T00:00:00+00:00
List-Id: <comp.lang.ada>


iEric said

"Robert Dewar wrote:
> an approach in which the development team is not permitted to do
> any testing!

Jeez. And I thought that approach was proprietary to Microsoft! <GD&R>"


You really should read the literature here, I think it will surprise you.
Yes, I know that the idea of being able to generate correct and reliable
code without the developers doing unit testing is almost inconceivable
to many programmers today, as is the idea of being able to develop code
without a debugger at hand, but that does not mean that it is not possible.