From: "Christoph Karl Walter Grein" <AdaMagica@web.de>
To: comp.lang.ada@ada-france.org
Subject: Re: Would You Fly an Airplane with a Linux-Based Control System?
Date: Mon, 29 Nov 2004 07:45:28 +0100
Date: 2004-11-29T07:45:28+01:00 [thread overview]
Message-ID: <mailman.147.1101710760.10401.comp.lang.ada@ada-france.org> (raw)
> "Bug" is a conditional. Something is buggy under some specified conditions.
> A software is buggy under the condition that it does not respond to the
> requirements.
Indeed. Normally you would say, a statement like X := 1.0/0.0; is a bug. But if the specification says: Write a program that raises an exception, it is correct.
__________________________________________________________
Mit WEB.DE FreePhone mit hoechster Qualitaet ab 0 Ct./Min.
weltweit telefonieren! http://freephone.web.de/?mc=021201
next reply other threads:[~2004-11-29 6:45 UTC|newest]
Thread overview: 67+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-11-29 6:45 Christoph Karl Walter Grein [this message]
-- strict thread matches above, loose matches on Subject: below --
2004-11-29 6:33 Would You Fly an Airplane with a Linux-Based Control System? Christoph Karl Walter Grein
2004-11-22 11:44 Preben Randhol
2004-11-22 13:23 ` Simon Clubley
2004-11-22 22:36 ` Brian May
2004-11-22 23:07 ` Ed Falis
2004-11-22 23:29 ` David Botton
2004-11-23 4:11 ` Alexander E. Kopilovich
2004-11-23 9:24 ` Martin Krischik
2004-11-25 18:28 ` Mike Silva
2004-11-25 20:15 ` David Botton
2004-11-26 3:11 ` Alexander E. Kopilovich
2004-11-26 10:11 ` Alex R. Mosteo
2004-11-26 11:51 ` Marius Amado Alves
2004-11-26 12:32 ` Alex R. Mosteo
2004-11-26 13:40 ` Adrien Plisson
2004-11-26 13:54 ` Marius Amado Alves
2004-11-26 22:22 ` Adrien Plisson
2004-11-27 0:24 ` Marius Amado Alves
2004-11-29 1:23 ` Georg Bauhaus
2004-12-04 18:58 ` Enrique Laso Leon
2004-12-05 1:29 ` Alexander E. Kopilovich
2004-12-06 13:20 ` Simon Clubley
[not found] ` <oSFxff11_F@VB1162.spb.edu>
2004-11-26 11:40 ` Marius Amado Alves
2004-11-26 12:21 ` Jean-Pierre Rosen
2004-11-26 13:00 ` Vinzent 'Gadget' Hoefler
2004-11-26 19:25 ` Jeffrey Carter
2004-11-26 19:50 ` Marius Amado Alves
2004-11-26 22:58 ` Simon Wright
2004-11-27 20:24 ` Jeffrey Carter
2004-11-29 1:09 ` Georg Bauhaus
2004-11-29 20:06 ` Preben Randhol
2004-11-26 20:58 ` Mike Silva
2004-11-27 0:06 ` Marius Amado Alves
2004-11-27 0:55 ` Rod Haper
2004-11-27 1:31 ` Marius Amado Alves
2004-11-27 8:07 ` Martin Krischik
2004-11-27 9:16 ` Dmitry A. Kazakov
2004-11-27 9:51 ` Marius Amado Alves
2004-11-27 13:44 ` Dmitry A. Kazakov
2004-11-29 20:13 ` Preben Randhol
2004-11-27 20:31 ` Jeffrey Carter
2004-11-27 7:59 ` Martin Krischik
2004-11-27 8:24 ` Pascal Obry
2004-11-27 19:36 ` Mike Silva
2004-11-26 21:09 ` Mike Silva
2004-11-27 0:15 ` Marius Amado Alves
2004-11-27 19:41 ` Mike Silva
2004-11-27 7:47 ` Martin Krischik
2004-11-29 20:04 ` Preben Randhol
2004-11-30 3:11 ` Alexander E. Kopilovich
2004-11-30 15:20 ` Mike Silva
2004-12-01 2:51 ` Alexander E. Kopilovich
2004-11-30 13:24 ` Martin Krischik
2004-11-30 17:28 ` Preben Randhol
2004-12-01 9:27 ` Martin Krischik
2004-12-01 16:59 ` Preben Randhol
2004-12-01 18:53 ` Martin Krischik
2004-12-02 21:07 ` Preben Randhol
2004-12-05 6:52 ` Brian May
2004-11-23 12:28 ` Georg Bauhaus
2004-11-23 10:35 ` Robert Kaiser
2004-11-23 12:36 ` Martin Krischik
2004-11-23 21:16 ` Simon Wright
2004-11-23 22:09 ` Brian May
2004-11-24 6:07 ` Simon Wright
2004-11-24 14:39 ` Mike Silva
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox