comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Software Quality in Science
Date: Tue, 09 Feb 2010 18:43:29 -0500
Date: 2010-02-09T18:43:29-05:00	[thread overview]
Message-ID: <wcc6366x9em.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 04185bf3-f83a-4fbe-b380-c6d8aa4105e6@w27g2000pre.googlegroups.com

Jerry <lanceboyle@qwest.net> writes:

> Here is the link in the Guardian article to the original work:
>
> http://www.leshatton.org/Documents/Texp_ICSE297.pdf

Thanks for the link.

> And this comment which addresses the use of Ada:

Hmm.  Looks like it fails to address Ada (or C++)
due to "lack of space".  I skept.

> "In C, note that function prototypes were well used only around 60% of
> the time and as a result, interface faults accounted for about 24% of
> the total. In other words, if function prototypes were mandated in all
> C functions, 24% of all serious faults would disappear.

Surely that's no longer a problem in modern C!?

>...The
> computational scientist should not use this as an argument in favour
> of C++ or Ada in which they are mandated. A large number of new
> failure modes result from this action, which lack of space prohibits
> further discussion here.

Hmm...

>...The net result of changing languages appears
> to be that the overall defect density appears to be about the same,
> (Hatton 1997). In other words, when a language corrects one
> deficiency, it appears to add one of its own."

That assertion requires evidence, and I don't see it here!

- Bob



  parent reply	other threads:[~2010-02-09 23:43 UTC|newest]

Thread overview: 41+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-02-09 21:20 Software Quality in Science Jerry
2010-02-09 21:51 ` Jerry
2010-02-09 22:00   ` Hibou57 (Yannick Duchêne)
2010-02-10  4:13     ` Thomas Wicklund
2010-02-10  5:24       ` Hibou57 (Yannick Duchêne)
2010-02-09 23:43   ` Robert A Duff [this message]
2010-02-10  1:01     ` Georg Bauhaus
2010-02-10 14:34       ` Stephen Leake
2010-02-10 15:09         ` Martin
2010-02-10 16:37         ` Robert A Duff
2010-02-10 17:05           ` Martin
2010-02-10 13:13     ` Florian Weimer
2010-02-10 13:30       ` (see below)
2010-02-10 13:38       ` Martin
2010-02-15 11:20       ` Colin Paul Gloster
2010-02-15 14:52         ` Maciej Sobczak
2010-02-15 18:48           ` Colin Paul Gloster
2010-02-10 14:29     ` Stephen Leake
2010-02-10 14:38       ` Hyman Rosen
2010-02-10 16:24         ` Robert A Duff
2010-02-15 11:32       ` Colin Paul Gloster
2010-02-15 12:19         ` Georg Bauhaus
2010-02-10 13:55   ` Ludovic Brenta
2010-02-10 14:21     ` Hibou57 (Yannick Duchêne)
2010-02-10 22:52     ` Bob Spooner
2010-02-11  8:29       ` Rick
2010-02-11 22:39   ` Hibou57 (Yannick Duchêne)
2010-02-11 23:10     ` Brian Drummond
2010-02-11 23:21       ` Hibou57 (Yannick Duchêne)
2010-02-11 23:24         ` Hibou57 (Yannick Duchêne)
2010-02-12  0:06         ` Robert A Duff
2010-02-12  0:32           ` Hibou57 (Yannick Duchêne)
2010-02-12  7:37           ` Pascal Obry
2010-02-12 10:58           ` Stephen Leake
2010-02-12 15:02             ` Robert A Duff
2010-02-15 10:49           ` Alex R. Mosteo
2010-02-12  7:37         ` Pascal Obry
2010-02-15 12:18       ` Colin Paul Gloster
2010-02-15 11:08   ` Colin Paul Gloster
2010-02-15 14:43     ` Hibou57 (Yannick Duchêne)
2010-02-15 19:01       ` Colin Paul Gloster
replies disabled

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