* ANNOUNCE: (Another) Ada success story in CrossTalk magazine
@ 2002-03-11 16:38 Rod Chapman
0 siblings, 0 replies; only message in thread
From: Rod Chapman @ 2002-03-11 16:38 UTC (permalink / raw)
There's a good Ada (and SPARK...) success story in the March
2002 issue of CrossTalk magazine - the title is
"Correctness by Construction: Better can also be Cheaper" by
Peter Amey of Praxis Critical Systems.
PDF is available from either the CrossTalk website (www.stsc.hill.af.mil)
or from www.sparkada.com
- Rod Chapman, SPARK Team, Praxis Critical Systems
Abstract
For safety and mission critical systems,verification and validation activities
frequently dominate development costs,accounting for as much as 80 percent in
some cases. There is now compelling evidence that development methods that
focus on bug prevention rather than bug detection can both raise quality and
save time and money. A recent, large avionics project reported a four-fold
productivity and 10-fold quality improvement by adopting such methods. A key
ingredient of correctness by construction is the use of unambiguous programming
languages that allow rigorous analysis very early in the development process.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2002-03-11 16:38 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-03-11 16:38 ANNOUNCE: (Another) Ada success story in CrossTalk magazine Rod Chapman
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox