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,55ae3803eb91d6ca X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!news2.arglkargh.de!news.musoftware.de!wum.musoftware.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: "(see below)" Newsgroups: comp.lang.ada Subject: Re: Ada UK conference: SPARK safety: is no delivery better than 1 defect? Date: Wed, 11 Mar 2009 14:46:18 +0000 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Trace: individual.net Lp9pb4HtYIbgQjtRq/uhqwJweteiAS6dln9/MgGEp0dGEBwNhU Cancel-Lock: sha1:YX3K7KF6lWw8MrIpUgFb77tHNxU= User-Agent: Microsoft-Entourage/12.14.0.081024 Thread-Topic: Ada UK conference: SPARK safety: is no delivery better than 1 defect? Thread-Index: AcmiWCK2AKM+cEtjfU6KJTsOzjMVOQ== Xref: g2news2.google.com comp.lang.ada:5007 Date: 2009-03-11T14:46:18+00:00 List-Id: On 11/03/2009 10:34, in article zsMtl.48994$Tp5.224@newsfe13.iad, "Michael" wrote: ... [many assertions snipped] Do you have any evidence for these claims (which, by the way, are primarily to do with failures of management to control the development process, and little or nothing to do with the SPARK language)? Do you have personal experience and inside knowledge of IFACTS development? If so, you should say what it is if you want to be taken seriously. -- Bill Findlay chez blueyonder.co.uk