From: Hyman Rosen <hymie@prolifics.com>
Subject: Re: JOB:Sr. SW Engineers Wanted-Fortune 500 Co
Date: 2000/02/01
Date: 2000-02-01T21:30:59+00:00 [thread overview]
Message-ID: <t7ln544nkz.fsf@calumny.jyacc.com> (raw)
In-Reply-To: 877hur$hk9$1@nntp8.atl.mindspring.net
Richard D Riehle <laoXhai@ix.netcom.com> writes:
> All this fuss about Arianne 5.
We know that Ariane 5 failed in the larger sense because of bad
management decisions. Where humans work, mistakes can happen.
We're (now) discussing the propriety of enabling runtime checks
in production code. Ariane 5 makes a good example for discussion.
What happens when proofs of behavior turn out, for whatever reason,
to be wrong? When you code, you are always proving things, or else
you would never be able to make any progress -
if a = 3 and then a = 3 and then a = 3 and then ...
At some point, you must be satisfied that a condition for which
you are checking holds. How much time and effort do you then devote
to worrying about whether that condition *really* holds, and to
writing code which will trigger if that condition does not hold?
next prev 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
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 ` Ole-Hjalmar Kristensen
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 ` Mike Silva
2000-02-01 0:00 ` Hyman Rosen
2000-02-01 0:00 ` Larry Kilgallen
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 ` Larry Kilgallen
2000-02-01 0:00 ` Hyman Rosen
2000-02-02 0:00 ` Ole-Hjalmar Kristensen
2000-02-02 0:00 ` Roger Racine
2000-02-04 0:00 ` Mike Silva
2000-02-17 0:00 ` Charles Hixson
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 [this message]
2000-02-02 0:00 ` Richard D Riehle
2000-02-17 0:00 ` Charles Hixson
2000-02-05 0:00 ` JP Thornley
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