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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,5cb36983754f64da X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-04-11 10:21:18 PST Path: archiver1.google.com!news1.google.com!news.glorb.com!newsrout1.ntli.net!news.ntli.net!newspeer1-win.server.ntli.net!newsfe1-win.POSTED!53ab2750!not-for-mail From: chris User-Agent: Mozilla Thunderbird 0.5 (X11/20040208) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: No call for Ada References: <20040409115529.8C0D24C412B@lovelace.ada-france.org> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <97fec.680$P%3.261@newsfe1-win> Date: Sun, 11 Apr 2004 18:23:28 +0100 NNTP-Posting-Host: 81.107.63.68 X-Trace: newsfe1-win 1081704005 81.107.63.68 (Sun, 11 Apr 2004 17:20:05 GMT) NNTP-Posting-Date: Sun, 11 Apr 2004 17:20:05 GMT Organization: NTL Xref: archiver1.google.com comp.lang.ada:6983 Date: 2004-04-11T18:23:28+01:00 List-Id: Dmitry A. Kazakov wrote: > Andrew Carroll wrote: >> >>I'm not sure if your saying that governments need to verify all software >>that goes to market, sort of like the FDA approves medications > > There are different ways. Don't you agree that the software which fault may > lead to loss of human life shall be approved? For the rest it would be > enough to require some level of liability for commercial software depending > on its price and application area. I sort of agree, however we all know any significant software will contain bugs no matter what you do so liability may not be the best way with respect to commercial software, unless it's in terms of negligance, for the foreseeable future. Perhaps the licensing of software engineers is the way to go on this. i.e. if the software engineer is licensed they meet certain standards they are fit to work on projects. The problem is deciding who sets the criteria and who enforces it. I wouldn't mind being licensed, infact it's probably one of the few ways you could make software without making it too risky for companies to develop it. Lots of people won't like it though, especially programmers because everybody knows programming is a bit of witchcraft and art, that it's their god given right to code and it all just 'works'. ;) >>What >>your saying is like saying that the industry needs an unpenetrable >>network firewall. To your surprise, there is one! Disconnect your >>network from the Internet and then, your network is unpenetrable >>from the Internet. See how easy that was? > > > Consider that recent attempts to introduce an internet-based voting system. > Sooner or later it will come. Like biometric ID cards in the UK. The problem is the old line about theory and pratice.