From: roderick.chapman@googlemail.com
Subject: Re: Arguments for using Ada
Date: Tue, 19 May 2009 04:28:38 -0700 (PDT)
Date: 2009-05-19T04:28:38-07:00 [thread overview]
Message-ID: <a7ad055b-309a-42c9-b504-031566d13ea4@z7g2000vbh.googlegroups.com> (raw)
In-Reply-To: 77f9ljF1h8vniU1@mid.individual.net
On May 19, 9:41 am, Georg Maubach <a...@nowhere.com> wrote:
> - Links with content (e.g. research) that proofs that development with
> Ada results in less defects than progams in other languages
I would add "The existence of SPARK" to your list of things
that are special and/or notable about Ada.
For data on defect rates, see the various publications regarding
SPARK usage on www.sparkada.com
Also see Andy German's paper from CrossTalk (google for "German
Crosstalk QinetiQ").
See the Tokeneer system from www.adacore.com/tokeneer
- Rod, SPARK Team
next prev parent reply other threads:[~2009-05-19 11:28 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-05-19 8:41 Arguments for using Ada Georg Maubach
2009-05-19 9:13 ` christoph.grein
2009-05-19 9:18 ` Ludovic Brenta
2009-05-19 9:38 ` Ludovic Brenta
2009-05-19 11:28 ` roderick.chapman [this message]
2009-05-19 12:29 ` Peter Hermann
2009-05-21 14:23 ` Mike Silva
2009-05-21 18:33 ` roderick.chapman
2009-05-25 6:06 ` Michael Erdmann
2009-05-25 6:06 ` Michael Erdmann
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox