From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,ac9405996d0dcb7f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Would You Fly an Airplane with a Linux-Based Control System? Date: Sat, 27 Nov 2004 10:16:42 +0100 Organization: cbb software GmbH Message-ID: <1josae5ppsp2e$.11y9sfglefjrl.dlg@40tude.net> References: <20619edc.0411251028.3e249bf3@posting.google.com> <20619edc.0411261258.7eb4a32b@posting.google.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: news.uni-berlin.de 8+cK28AnQsDnFLeHKjVeNgUNXVGepidr44RZmSEwwqaL7+FHY= User-Agent: 40tude_Dialog/2.0.12.1 Xref: g2news1.google.com comp.lang.ada:6547 Date: 2004-11-27T10:16:42+01:00 List-Id: On Sat, 27 Nov 2004 01:31:12 +0000, Marius Amado Alves wrote: > Rod Haper wrote: >> The "bug" that got "fixed" was the specification. That in turn >> necessitated a change to the software to comply with the updated >> specification. The "error" was in the old Ariane IV's specification's >> lack of applicability to the new Ariane V's requirements. The "failure" >> was one of design, not software implementation, and was independent of >> what language was or might have been used for the implementation. >> >> What is your point vis-a-vis hardware or software? The "conclusion" I >> draw is that you seem to be hung up on some agenda which ignores the >> simple facts of the case. > > My agenda is to make sure things are called by their names with no > guilt. A bug is a bug is a bug. There is no such thing as bug without semantics. Absolutely any program is both buggy and correct depending on what it is supposed to do. > A specification is a software item. A specification of a program is not a part of the program. It is a part of the software development process. > A defect in a specification is a bug. Maybe, but it is not a bug *in* the program that implements that specification. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de