From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Subject: Re: Ada UK conference: SPARK safety: is no delivery better than 1 defect?
Date: Tue, 10 Mar 2009 14:54:38 +0000
Date: 2009-03-10T14:54:38+00:00 [thread overview]
Message-ID: <C5DC2FAE.10E8E6%yaldnif.w@blueyonder.co.uk> (raw)
In-Reply-To: q9ntl.33022$l71.13235@newsfe23.iad
On 10/03/2009 05:47, in article q9ntl.33022$l71.13235@newsfe23.iad,
"Michael" <fvit@shaw.ca> wrote:
> Hi all,
>
> The next Ada Conference UK 2009 (March 24, in London), is to highlight the
> increased relevance of Ada in safety-and security-critical programming.
>
...
>
> In regards to the Tokeneer mini-project findings, were the safety critical
> iFACTS project's delays and deficiencies predictable?
>
> That should be one of the main Ada Conference safety concerns. (Tookeneer
> and SPARK are both in the Ada conference program, but not iFACTS yet!).
Do you have any evidence that iFACTS problems are due to the Ada language?
--
Bill Findlay
<surname><forename> chez blueyonder.co.uk
next prev parent reply other threads:[~2009-03-10 14:54 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) [this message]
2009-03-11 10:34 ` Michael
2009-03-11 14:46 ` (see below)
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