From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Subject: Re: Ada UK conference: SPARK safety: is no delivery better than 1 defect?
Date: Wed, 11 Mar 2009 14:46:18 +0000
Date: 2009-03-11T14:46:18+00:00 [thread overview]
Message-ID: <C5DD7F3A.10EC04%yaldnif.w@blueyonder.co.uk> (raw)
In-Reply-To: zsMtl.48994$Tp5.224@newsfe13.iad
On 11/03/2009 10:34, in article zsMtl.48994$Tp5.224@newsfe13.iad, "Michael"
<fvit@shaw.ca> 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
<surname><forename> chez blueyonder.co.uk
next prev parent reply other threads:[~2009-03-11 14:46 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-03-10 5:47 Ada UK conference: SPARK safety: is no delivery better than 1 defect? Michael
2009-03-10 14:54 ` (see below)
2009-03-11 10:34 ` Michael
2009-03-11 14:46 ` (see below) [this message]
2009-03-12 10:36 ` Michael
2009-03-12 10:52 ` Ludovic Brenta
2009-03-16 9:18 ` Michael
2009-03-16 10:29 ` Tim Rowe
2009-03-18 0:54 ` Michael
2009-03-12 12:39 ` (see below)
-- strict thread matches above, loose matches on Subject: below --
2009-03-10 6:01 Michael
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox