comp.lang.ada
 help / color / mirror / Atom feed
From: Jeffrey Carter <spam@spam.com>
Subject: Re: Isn't this in favour of Ada??
Date: Fri, 22 Jul 2005 08:49:48 -0700
Date: 2005-07-22T08:49:48-07:00	[thread overview]
Message-ID: <xA8Ee.6$j86.4@dfw-service2.ext.ray.com> (raw)
In-Reply-To: <42e0a08e$0$72206$edfadb0f@dread12.news.tele.dk>

[-- Attachment #1: Type: text/plain, Size: 2278 bytes --]

Erlo Haugen wrote:
>>
> But isn't engineering (at its best) supposed to be independent of the 
> language chosen?

Hardly. A bridge is designed to work when constructed of materials with 
certain characteristics; the design is not independent of the materials.

In the SW field, we've been correcting buffer-overflow vulnerabilities 
in networking code for decades. They're the single most commonly 
exploited class of error in the code. Yet the people writing networking 
code in C today are creating new buffer-overflow errors, despite their 
knowledge of the problem and their desire not to contribute to it. It 
seems no amount of engineering can overcome the weakness of the material.

A SW engineer using C will create better SW than a coder using C, but a 
SW engineer using Ada will create better SW than a SW engineer using C. 
There was a posting here just the other day to the effect that no matter 
how carefully the poster designs his C++ code, he makes errors that he 
would not have made in Ada.

> You have a point, but most software is not like bridges, it's more like 
> garden houses: if something goes wrong, it is inconvenient, but not 
> fatal. I do hope that adequate engineering processes are used for 
> critical software.

Unfortunately, I've seen critical SW that is very badly designed, 
basically taking design techniques that work OK on a student's 300-line 
program applied to 100s of KLOC of critical code.

If there's a ditch, 2 m deep and 2 m wide, on my property between my 
house and the road, and I want to be able to get my car across it, I can 
put a couple of beams across and add a roadbed and have a bridge that 
will serve my purposes.

If I need to carry heavy trucks or span the Golden Gate of San Francisco 
Bay, this design technique is not optimum. You can build such a bridge 
across the Golden Gate. It involves a lot of piers. It will be much more 
expensive to build than a better suited design, not meet all desirable 
objectives (we'll have to give up having large ships moving in and out 
of the bay), but it will carry traffic across the gap. It will be very 
difficult and expensive to maintain.

What we have in SW are a lot of Golden Gate bridges built using design 
techniques only suitable for much smaller projects.

[-- Attachment #2: spam.vcf --]
[-- Type: text/x-vcard, Size: 177 bytes --]

begin:vcard
fn:Jeffrey Carter
n:;Jeffrey Carter
email;internet:jeffrey_r_carter-nr [commercial-at] raytheon [period | full stop] com
x-mozilla-html:FALSE
version:2.1
end:vcard


  parent reply	other threads:[~2005-07-22 15:49 UTC|newest]

Thread overview: 60+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-07-14 11:34 Isn't this in favour of Ada?? Erlo Haugen
2005-07-14 14:56 ` Mike Silva
2005-07-14 16:11   ` Jeffrey Carter
2005-07-14 18:06     ` Marc A. Criley
2005-07-15 13:05       ` Marin David Condic
2005-07-19 17:03         ` James Alan Farrell
2005-07-19 17:31           ` Ed Falis
2005-07-20 11:49           ` Marin David Condic
2005-07-19 11:40     ` Erlo Haugen
2005-07-19 17:10       ` Jeffrey Carter
2005-07-19 15:41     ` Dan McLeran
2005-07-19 17:17       ` Adrien Plisson
2005-07-20  2:22       ` Jeffrey Carter
2005-07-20  5:13         ` Dan McLeran
2005-07-22  7:30     ` Erlo Haugen
2005-07-22 13:12       ` Marc A. Criley
2005-07-22 13:36         ` Erlo Haugen
2005-07-22 14:24           ` Dan McLeran
2005-07-22 14:29           ` Bob Spooner
2005-07-23 13:02             ` Ludovic Brenta
2005-07-22 18:01           ` Marc A. Criley
2005-07-22 15:49       ` Jeffrey Carter [this message]
2005-07-15 14:04 ` Florian Weimer
2005-07-15 21:10   ` Larry Kilgallen
2005-07-18 12:37     ` Marin David Condic
2005-07-18 12:57       ` Ed Falis
2005-07-18 13:18         ` Marin David Condic
2005-07-18 14:12           ` Ed Falis
2005-07-19 12:51             ` Marin David Condic
2005-07-19 18:08               ` Robert A Duff
2005-07-20  5:12                 ` Simon Wright
2005-07-20 15:37                   ` Robert A Duff
2005-07-21 12:15                     ` Marin David Condic
2005-07-21 15:32                       ` Robert A Duff
2005-07-20 12:26                 ` Marin David Condic
2005-10-27  7:20                   ` Robert I. Eachus
2005-08-04 12:59     ` Florian Weimer
2005-08-05 14:29       ` Larry Kilgallen
2005-08-05 16:58         ` Florian Weimer
2005-08-05 23:15           ` Larry Kilgallen
2005-08-06  4:01           ` tmoran
2005-08-06 10:28           ` Pascal Obry
2005-08-06 10:33             ` Pascal Obry
2005-08-06 11:02           ` Dmitry A. Kazakov
2005-07-21 13:27 ` Maciej Sobczak
2005-07-22  7:39   ` Erlo Haugen
2005-07-22  9:29     ` Maciej Sobczak
2005-07-22 10:41       ` Erlo Haugen
2005-07-22 14:28         ` Alex R. Mosteo
2005-07-22 15:02           ` Pascal Obry
2005-07-25  9:48             ` Tassilo v. Parseval
2005-07-25 13:31               ` Adrien Plisson
2005-07-25 15:08                 ` Jerome Hugues
2005-07-25 15:58                   ` Adrien Plisson
2005-07-25 21:03                     ` Jerome Hugues
2005-07-26  6:03                       ` Tassilo v. Parseval
2005-07-25 16:39               ` Pascal Obry
2005-07-26  5:58                 ` Tassilo v. Parseval
2005-07-26 17:25                   ` Pascal Obry
2005-07-22 15:26           ` Georg Bauhaus
replies disabled

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