From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a2001579455d39cf,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-03-11 08:38:20 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: rod@praxis-cs.co.uk (Rod Chapman) Newsgroups: comp.lang.ada Subject: ANNOUNCE: (Another) Ada success story in CrossTalk magazine Date: 11 Mar 2002 08:38:19 -0800 Organization: http://groups.google.com/ Message-ID: NNTP-Posting-Host: 213.155.153.242 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1015864700 26173 127.0.0.1 (11 Mar 2002 16:38:20 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 11 Mar 2002 16:38:20 GMT Xref: archiver1.google.com comp.lang.ada:21065 Date: 2002-03-11T16:38:20+00:00 List-Id: 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.