comp.lang.ada
 help / color / mirror / Atom feed
From: Ted Dennison <dennison@telepath.com>
Subject: Re: JOB:Sr. SW Engineers Wanted-Fortune 500 Co
Date: 2000/02/01
Date: 2000-02-01T00:00:00+00:00	[thread overview]
Message-ID: <877081$knt$1@nnrp1.deja.com> (raw)
In-Reply-To: t7g0vdq2x0.fsf@calumny.jyacc.com

In article <t7g0vdq2x0.fsf@calumny.jyacc.com>,
  Hyman Rosen <hymie@prolifics.com> wrote:
> Hyman Rosen <hymie@prolifics.com> writes:
> > Ted Dennison <dennison@telepath.com> writes:
> > > find it appalling that anyone would develop a product like a
> > > pacemaker, on which the life of a human being depends on its
> > > continuous reliable operation, in a language known to be as
> > > error-prone as C. This is not an opportunity for me to be
> OK, I'm being a smartass, but I am making a valid point.
> Having its software written in Ada was not enough to keep
> the Ariane 5 from going off-course and being blown up. In

That's a good point. Luckily, I never claimed any such thing. If someone
does, tell me and I'll jump in with you.

> the same way, having the software of a pacemaker written
> in C is not enough to force it to blow up. I would assume
> that pacemaker software undergoes thorough critical-systems
> development and testing regardless of what language it's
> written in.

No. But testing does not guarantee the total absence of bugs either
(another Arianne lesson). Thus it is not sufficient in my view to make
up for poor development tools with testing. By that logic it would be
perfectly OK for me to hand-machine aircraft parts with a hammer and
chisel, as long as they were all thoroughly tested.

--
T.E.D.

http://www.telepath.com/~dennison/Ted/TED.html


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




  parent reply	other threads:[~2000-02-01  0:00 UTC|newest]

Thread overview: 44+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-01-30  0:00 JOB:Sr. SW Engineers Wanted-Fortune 500 Co Tracy Goembel
2000-01-31  0:00 ` Ted Dennison
2000-01-31  0:00   ` Hyman Rosen
2000-01-31  0:00     ` Hyman Rosen
2000-02-01  0:00       ` Scott Ingram
2000-02-01  0:00       ` Ted Dennison [this message]
2000-02-01  0:00         ` Ole-Hjalmar Kristensen
2000-02-01  0:00         ` Hyman Rosen
2000-02-02  0:00           ` Rod Chapman
     [not found]           ` <m3emaug917.fsf@blight.transcend.org>
2000-02-03  0:00             ` Larry Kilgallen
2000-02-01  0:00       ` Gautier
2000-01-31  0:00         ` Hyman Rosen
2000-01-31  0:00     ` Mike Silva
2000-02-01  0:00       ` Hyman Rosen
2000-02-01  0:00         ` Pat Rogers
2000-02-01  0:00           ` Hyman Rosen
2000-02-01  0:00             ` Mike Silva
2000-02-01  0:00             ` Pat Rogers
2000-02-01  0:00               ` Larry Kilgallen
2000-02-01  0:00               ` Hyman Rosen
2000-02-01  0:00                 ` Pat Rogers
2000-02-01  0:00                   ` Richard D Riehle
2000-02-01  0:00                     ` Hyman Rosen
2000-02-02  0:00                       ` Richard D Riehle
2000-02-17  0:00                         ` Charles Hixson
2000-02-01  0:00             ` Larry Kilgallen
2000-02-01  0:00               ` Hyman Rosen
2000-02-02  0:00                 ` Roger Racine
2000-02-02  0:00                 ` Ole-Hjalmar Kristensen
2000-02-04  0:00                 ` Mike Silva
2000-02-17  0:00                 ` Charles Hixson
2000-02-05  0:00           ` JP Thornley
2000-02-01  0:00         ` Mike Silva
2000-02-01  0:00           ` Larry Kilgallen
2000-02-01  0:00           ` Hyman Rosen
2000-01-31  0:00     ` Mike Silva
2000-02-01  0:00     ` Jean-Pierre Rosen
2000-02-01  0:00       ` Ted Dennison
2000-02-01  0:00         ` Karel Thoenissen
     [not found]           ` <879hjf$ggv$1@nnrp1.deja.com>
2000-02-02  0:00             ` Geography (was: JOB:Sr. SW Engineers Wanted-Fortune 500 Co) Karel Thoenissen
2000-02-02  0:00               ` Ted Dennison
2000-02-02  0:00                 ` Gautier
2000-02-02  0:00             ` Jean-Marc Bourguet
2000-02-01  0:00       ` JOB:Sr. SW Engineers Wanted-Fortune 500 Co Larry Kilgallen
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox