From: Marco <prenom_nomus@yahoo.com>
Subject: Re: ANN: Tokeneer material available
Date: Sat, 11 Oct 2008 04:44:54 -0700 (PDT)
Date: 2008-10-11T04:44:54-07:00 [thread overview]
Message-ID: <a677144d-316c-413e-a9f3-57e5651d36e0@v39g2000pro.googlegroups.com> (raw)
In-Reply-To: 8fdd81e7-1d69-4f7a-9ebd-2e59c1bc7cde@y29g2000hsf.googlegroups.com
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
prev parent reply other threads:[~2008-10-11 11:44 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
2008-10-07 5:16 ` Jerry
2008-10-08 0:46 ` Marc A. Criley
2008-10-11 11:44 ` Marco [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox