From: roderick.chapman@googlemail.com
Subject: Re: ANN: Tokeneer material available
Date: Mon, 6 Oct 2008 06:02:43 -0700 (PDT)
Date: 2008-10-06T06:02:43-07:00 [thread overview]
Message-ID: <a3c5dbae-189c-40c7-9d53-7ef7f34d8e29@m36g2000hse.googlegroups.com> (raw)
In-Reply-To: 48ea08de$0$23588$4f793bc4@news.tdc.fi
On Oct 6, 1:47 pm, Niklas Holsti <niklas.hol...@tidorum.invalid>
wrote:
> roderick.chap...@googlemail.com wrote:
> > I'm pleased to announce the immediate availability of the
> > Tokeneer project material. Please see
> > www.adacore.com/tokeneer
>
> Lovely work. Congratulations.
>
> The webpage reports that one defect has been discovered since
> delivery, apparently after the full report was written. Can you say
> something about this defect -- why did it happen, and in which
> phase of development?
>
> --
> Niklas Holsti
> Tidorum Ltd
> niklas holsti tidorum fi
> . @ .
Read the "Overview and Reader's Guide" document - this contains
a complete account of how this defect was found and corrected,
and a root-cause analysis of how it got there in the first place!
- Rod
next prev parent reply other threads:[~2008-10-06 13:02 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-10-06 12:38 ANN: Tokeneer material available roderick.chapman
2008-10-06 12:47 ` Niklas Holsti
2008-10-06 13:02 ` roderick.chapman [this message]
2008-10-07 5:16 ` Jerry
2008-10-08 0:46 ` Marc A. Criley
2008-10-11 11:44 ` Marco
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox