From: "Chad R. Meiners" <crmeiners@hotmail.com>
Subject: Re: Applications written in Ada
Date: Wed, 29 Oct 2003 10:31:29 -0500
Date: 2003-10-29T10:31:29-05:00 [thread overview]
Message-ID: <bnomid$256u$1@msunews.cl.msu.edu> (raw)
In-Reply-To: bno6sm$13i9to$1@ID-69815.news.uni-berlin.de
"Peter Amey" <peter.amey@praxis-cs.co.uk> wrote in message
news:bno6sm$13i9to$1@ID-69815.news.uni-berlin.de...
> You could take a look at the IEEE paper describing the Mondex smart card
> certification authority downloadable from www.sparkada.com
> (http://www.sparkada.com/downloads/ieeesw.pdf). This describes a
> Windows NT hosted system written in Ada 95, SPARK (and C++ for the GUI)
> which is none of defense/space/avaiation being financial/security.
>
> Peter
I like this paper. It is very good ammunition against "software engineers"
that resist/dislike formal methods.
-CRM
next prev parent reply other threads:[~2003-10-29 15:31 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-10-29 8:16 Applications written in Ada Lars
2003-10-29 9:49 ` Ross Higson
2003-10-29 11:04 ` Peter Amey
2003-10-29 15:31 ` Chad R. Meiners [this message]
2003-10-29 20:17 ` Randy Brukardt
2003-10-29 20:24 ` Jano
2003-10-29 20:43 ` Gautier Write-only
2003-10-29 21:55 ` Ed Falis
2003-10-30 4:49 ` Jeffrey Carter
2003-10-30 10:28 ` Erlo Haugen
2003-10-30 19:19 ` tmoran
2003-10-30 22:22 ` Patrice Freydiere
2003-10-31 13:18 ` Martin Dowie
-- strict thread matches above, loose matches on Subject: below --
2003-10-29 19:00 Bill Sheehan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox