* ANN: Tokeneer material available
@ 2008-10-06 12:38 roderick.chapman
2008-10-06 12:47 ` Niklas Holsti
` (2 more replies)
0 siblings, 3 replies; 6+ messages in thread
From: roderick.chapman @ 2008-10-06 12:38 UTC (permalink / raw)
I'm pleased to announce the immediate availability of the
Tokeneer project material. Please see
www.adacore.com/tokeneer
All the best,
Rod Chapman, SPARK Team, Praxis
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ANN: Tokeneer material available
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
2008-10-07 5:16 ` Jerry
2008-10-11 11:44 ` Marco
2 siblings, 1 reply; 6+ messages in thread
From: Niklas Holsti @ 2008-10-06 12:47 UTC (permalink / raw)
roderick.chapman@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
. @ .
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ANN: Tokeneer material available
2008-10-06 12:47 ` Niklas Holsti
@ 2008-10-06 13:02 ` roderick.chapman
0 siblings, 0 replies; 6+ messages in thread
From: roderick.chapman @ 2008-10-06 13:02 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ANN: Tokeneer material available
2008-10-06 12:38 ANN: Tokeneer material available roderick.chapman
2008-10-06 12:47 ` Niklas Holsti
@ 2008-10-07 5:16 ` Jerry
2008-10-08 0:46 ` Marc A. Criley
2008-10-11 11:44 ` Marco
2 siblings, 1 reply; 6+ messages in thread
From: Jerry @ 2008-10-07 5:16 UTC (permalink / raw)
This story made Slashdot. Idiots abound, as usual.
http://it.slashdot.org/article.pl?sid=08/10/06/1734255
Jerry
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ANN: Tokeneer material available
2008-10-07 5:16 ` Jerry
@ 2008-10-08 0:46 ` Marc A. Criley
0 siblings, 0 replies; 6+ messages in thread
From: Marc A. Criley @ 2008-10-08 0:46 UTC (permalink / raw)
Jerry wrote:
> This story made Slashdot. Idiots abound, as usual.
>
> http://it.slashdot.org/article.pl?sid=08/10/06/1734255
>
It also did halfway-decent, especially for an Ada oriented article, in
the Programming sub-reddit
(http://www.reddit.com/r/programming/comments/75gu5).
BTW, there's also an Ada-specific sub-reddit..
http://www.reddit.com/r/ada/
Marc A. Criley
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ANN: Tokeneer material available
2008-10-06 12:38 ANN: Tokeneer material available roderick.chapman
2008-10-06 12:47 ` Niklas Holsti
2008-10-07 5:16 ` Jerry
@ 2008-10-11 11:44 ` Marco
2 siblings, 0 replies; 6+ messages in thread
From: Marco @ 2008-10-11 11:44 UTC (permalink / raw)
On Oct 6, 5:38 am, roderick.chap...@googlemail.com wrote:
> I'm pleased to announce the immediate availability of the
> Tokeneer project material. Please see
> www.adacore.com/tokeneer
>
> All the best,
> Rod Chapman, SPARK Team, Praxis
The development process applied to the Tokeneer ID Station high-
integrity development can be summarised in terms of the following key
phases:
* Requirements analysis (the REVEAL® process)
* Formal specification (using the formal language Z) <=== not many
folks can do this (or want to)
* Design (formal refinement of the specification and the INFORMED
process)
* Implementation in SPARK Ada
* Verification (using the SPARK Examiner toolset)
* Top-down system testing
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2008-10-11 11:44 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
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
2008-10-07 5:16 ` Jerry
2008-10-08 0:46 ` Marc A. Criley
2008-10-11 11:44 ` Marco
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox