comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: if statements
Date: 2000/11/09
Date: 2000-11-09T00:00:00+00:00	[thread overview]
Message-ID: <8ufde1$ogf$1@nnrp1.deja.com> (raw)
In-Reply-To: 3A0ABE18.24CACAFB@acm.org

In article <3A0ABE18.24CACAFB@acm.org>,
  Marin David Condic <mcondic.nospam@acm.org> wrote:
> I'd agree with the "Necessary/Not-Sufficient" part of this
> statement, but to say that "It Works" is not the MOST
> important thing, I think is a mistake.

Your pickup truck example is actually instructive, but you
mispresent it. Sure the pickup truck must run, but must it
work 100%? If you say yes, I am sorry to tell you that in
practice all trucks and cars are delivered with defects.
Hopefully not serious enough to stop them running, but
certainly they are not 100% "correct".

And that is an apt analogy. Software is almost never 100%
correct if it is of any complexity, it works well enough on
an initial delivery, but will undergo a long and labor
intensive history of bug fixing, modification and improvement.

Sure, the software must work reasonably well, but to focus on
correct function to the exclusion of maintainability will result
in software that does not necessarily work any better on initial
delivery, and for SURE will start to work worse as it is
maintained.

OK, if we are talking safety-critical certified software, then
correct function does indeed become paramount, but in most
applcations this is definitely a distortion.


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




  reply	other threads:[~2000-11-09  0:00 UTC|newest]

Thread overview: 168+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-11-03 14:42 if statements sc297
2000-11-03  0:00 ` David Starner
2000-11-07  0:00   ` John English
2000-11-13  0:00   ` Dale Pontius
2000-11-03 16:09 ` Larry Kilgallen
2000-11-03  0:00   ` tmoran
2000-11-03  0:00     ` David Starner
2000-11-05  0:00       ` tmoran
2000-11-06  0:00         ` David Starner
2000-11-08  0:14           ` Alejandro R. Mosteo
2000-11-08  0:00             ` Alejandro Villanueva
2000-11-08  0:00               ` Georg Bauhaus
2000-11-09  3:50               ` Ken Garlington
2000-11-07  0:00         ` John English
2000-11-03  0:00     ` Larry Kilgallen
2000-11-06  0:00       ` Brian Orpin
2000-11-07  0:00     ` John English
2000-11-08  5:22       ` Ken Garlington
2000-11-06  0:00 ` Daniel Allex
2000-11-07  0:00   ` Ken Garlington
2000-11-07  0:00     ` John English
2000-11-07  0:00       ` Robert Dewar
2000-11-08  0:00         ` John English
2000-11-08  0:00           ` Georg Bauhaus
2000-11-09  4:58           ` Robert Dewar
2000-11-09  0:00             ` Ken Garlington
2000-11-09  0:00               ` Designing test suites (was: if statements) Larry Kilgallen
2000-11-09  0:00             ` if statements John English
2000-11-08  5:29       ` Ken Garlington
2000-11-08  0:00         ` John English
2000-11-08  0:00           ` Ken Garlington
2000-11-07  0:00   ` John English
2000-11-07  0:00   ` Wes Groleau
2000-11-08  0:00     ` John English
2000-11-08  0:00       ` Wes Groleau
2000-11-09  3:43         ` Ken Garlington
2000-11-07  0:00   ` dmitry6243
2000-11-07  0:00     ` Jean-Pierre Rosen
2000-11-08  0:00       ` dmitry6243
2000-11-07  0:00   ` Robert Dewar
2000-11-07  0:00     ` Larry Kilgallen
2000-11-08  0:00     ` Alejandro Villanueva
2000-11-08  0:00       ` Daniel Allex
2000-11-09  3:54       ` Ken Garlington
2000-11-09  5:24       ` Robert Dewar
2000-11-09  0:00         ` Ken Garlington
2000-11-09  0:00           ` Robert Dewar
2000-11-10  0:12             ` Ehud Lamm
2000-11-10  2:09             ` Ken Garlington
2000-11-20  0:00               ` Wes Groleau
2000-11-20  0:00             ` Wes Groleau
2000-11-21  0:00               ` Robert Dewar
2000-11-22  0:00                 ` Wes Groleau
2000-11-09  0:00         ` Marin David Condic
2000-11-09  0:00           ` Robert Dewar [this message]
2000-11-10  0:00             ` Larry Kilgallen
2000-11-10  1:58           ` Ken Garlington
2000-11-10  3:53             ` Robert Dewar
2000-11-09  0:00         ` constants v variables (was Re: if statements) Martin Dowie
2000-11-09  0:00           ` Robert A Duff
2000-11-09  0:00             ` Florian Weimer
2000-11-10  2:13               ` Ken Garlington
2000-11-10  5:59                 ` Brian Rogoff
2000-11-09  0:00             ` Martin Dowie
2000-11-09  0:00             ` Robert Dewar
2000-11-09  0:00           ` Robert Dewar
2000-11-08  0:00     ` Ada student homework ? Nicolas Brunot
2000-11-08  0:00       ` Robert Dewar
2000-11-08  0:00         ` Nicolas Brunot
2000-11-08  0:00           ` Ted Dennison
2000-11-08  0:00             ` Nicolas Brunot
2000-11-08  0:00               ` Jerry Petrey
2000-11-08  0:00             ` Lao Xiao Hai
2000-11-09  0:00             ` Marin David Condic
2000-11-10  2:15               ` Ken Garlington
2000-11-10  0:00                 ` Marin David Condic
2000-11-18  0:00               ` John Magness
2000-11-19  0:00                 ` Robert Dewar
2000-11-19  0:00                   ` Larry Kilgallen
2000-11-20  0:00                 ` John English
     [not found]                 ` <3A2827A9.B54C260@ebox.tninet.se>
     [not found]                   ` <1dtW5.25958$6W1.1458704@news.flash.net>
2000-12-12 20:52                     ` Stefan Skoglund
     [not found]                       ` <dKo%5.144$PE5.16970@read2.inet.fi>
2000-12-19 16:36                         ` election chit-chat (was Re: Ada student homework ?) Robert Dewar
2000-11-08  0:00           ` Ada student homework ? Larry Kilgallen
2000-11-08  0:00             ` Nicolas Brunot
2000-11-14  0:00               ` Ronald Cole
2000-11-08  0:00       ` Larry Kilgallen
2000-11-08  0:00         ` Nicolas Brunot
2000-11-08  0:00           ` Chad R. Meiners
2000-11-08  0:00             ` Ted Dennison
2000-11-09  5:11               ` Robert Dewar
2000-11-18  0:00               ` John Magness
2000-11-08  0:00           ` Brian Rogoff
2000-11-09  0:00             ` Nicolas Brunot
2000-11-09  0:00               ` Robert Dewar
2000-11-10  0:08                 ` Ehud Lamm
2000-11-10  0:00               ` Brian Rogoff
2000-11-08  0:00           ` Lao Xiao Hai
2000-11-09  0:00             ` Nicolas Brunot
2000-11-09  0:00               ` Lao Xiao Hai
2000-11-10  0:00                 ` Nicolas Brunot
2000-11-10  0:00                   ` Larry Kilgallen
2000-11-10  0:00                     ` Nicolas Brunot
2000-11-10  0:00                       ` Dan Nagle
2000-11-10  0:00                         ` Nicolas Brunot
2000-11-10  0:00                           ` Larry Kilgallen
2000-11-10  0:00                             ` Nicolas Brunot
2000-11-11  0:00                               ` Robert Dewar
2000-11-12  6:54                                 ` Brian Rogoff
2000-11-12  0:00                                   ` Robert Dewar
2000-11-11  0:00                           ` Robert Dewar
2000-11-13  0:00                             ` Nicolas Brunot
2000-11-13  0:00                               ` Robert Dewar
2000-11-13  0:00                                 ` Ken Garlington
2000-11-13  0:00                                 ` gdemont
2000-11-13  0:00                                   ` Ada student homework ?[OS/2 Comments] tjerick
2000-11-14  0:00                                   ` Ada student homework ? Georg Bauhaus
2000-11-14  5:16                                   ` Robert Dewar
2000-11-14  0:00                                     ` Nicolas Brunot
2000-11-15  0:00                                       ` Robert Dewar
2000-11-15  0:00                                         ` Ada student homework ? I give up Nicolas Brunot
2000-11-15  0:00                                           ` Robert Dewar
2000-11-14  0:00                                     ` Ada student homework ? John English
2000-11-14  0:00                                       ` gdemont
2000-11-14  0:00                                       ` Ole-Hjalmar Kristensen
2000-11-13  0:00                                 ` Nicolas Brunot
2000-11-13  0:00                                   ` Pascal Obry
2000-11-13  0:00                                 ` gdemont
2000-11-14  0:00                                 ` dmitry6243
2000-11-15  0:00                             ` Larry Kilgallen
     [not found]                             ` <3A0FCBAD.824095C6@cadwin.cOrganization: LJK Software <5E93Ivxu6GwO@eisner.decus.org>
2000-11-18  0:00                               ` Robert Dewar
2000-11-20  0:00                     ` Wes Groleau
2000-11-20  0:00                       ` Larry Kilgallen
2000-11-10  0:00                 ` mjsilva
2000-11-10  0:00                 ` Nicolas Brunot
2000-11-10  0:00                   ` Marin David Condic
2000-11-10  0:00                     ` Nicolas Brunot
2000-11-10  0:00                       ` David Starner
2000-11-11  0:00                       ` Robert Dewar
2000-11-13  0:00                         ` Nicolas Brunot
2000-11-10  0:00                     ` Ole-Hjalmar Kristensen
2000-11-10  0:00                     ` Randy Brukardt
2000-11-11  0:00                       ` Marin David Condic
2000-11-15  0:00                         ` Lao Xiao Hai
2000-11-18  0:00                           ` Robert Dewar
2000-11-18  0:00                             ` tmoran
2000-11-19  0:00                               ` Robert Dewar
2000-11-19  0:00                                 ` tmoran
2000-11-19  0:00                                   ` Robert Dewar
2000-11-20  0:16                                     ` tmoran
2000-11-20  0:00                                       ` Portability accross compilers Nicolas Brunot
2000-11-20  0:00                                         ` Robert Dewar
2000-11-20  3:18                                       ` Ada student homework ? Robert Dewar
2000-11-20  5:55                                         ` tmoran
2000-11-20  0:00                                           ` Robert Dewar
2000-11-20  0:00                                 ` Wes Groleau
2000-11-19  0:00                             ` Lao Xiao Hai
2000-11-11  0:00                   ` Robert Dewar
2000-11-13  0:00                     ` gdemont
2000-11-09  5:04           ` Robert Dewar
2000-11-10  0:27             ` Subsetting Ada Ted Dennison
2000-11-07  0:00 ` if statements John English
2000-11-07  0:00   ` Robert Dewar
2000-11-10  6:09 ` DJack143
2000-11-11  0:00   ` Here we go again (Was: if statements) Frank Christiny
  -- strict thread matches above, loose matches on Subject: below --
2000-11-09  0:00 if statements James Hassett
2000-11-10  0:02 ` Robert Dewar
2000-11-14  0:00 Duncan Sands
2000-11-14  0:00 ` Ken Garlington
replies disabled

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