From: Kilgallen@SpamCop.net (Larry Kilgallen)
Subject: Re: ANNOUNCE: Ada success story in IEEE Software
Date: 8 Jan 2002 08:58:15 -0600
Date: 2002-01-08T08:58:15-06:00 [thread overview]
Message-ID: <uA2lVe9FJfDD@eisner.encompasserve.org> (raw)
In-Reply-To: ba18d5cb.0201080316.3954569b@posting.google.com
In article <ba18d5cb.0201080316.3954569b@posting.google.com>, rod@praxis-cs.co.uk (Rod Chapman) writes:
> Those of you who are interested in Ada success stories might
> be interested to see this month's IEEE Software Magazine (Jan/Feb 2002)
> at www.computer.org/software
>
> We have an article in this issue "Correctness by Construction: Developing
> a Commercial Secure System" that describes our development of the MULTOS
> CA system - a highly secure, distributed, fault tolerant certification
> authority. A significant proportion of the system is constructed
> using Ada95 and SPARK95.
>
> It's the kind of system where most people
> would not even consider Ada,
Why is that ?
next prev parent reply other threads:[~2002-01-08 14:58 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-01-08 11:16 ANNOUNCE: Ada success story in IEEE Software Rod Chapman
2002-01-08 12:12 ` Dale Stanbrough
2002-01-08 12:48 ` Martin Dowie
2002-01-08 14:20 ` Ted Dennison
2002-01-09 21:16 ` Jeffrey Carter
2002-01-09 21:28 ` Larry Kilgallen
2002-01-09 21:46 ` Pat Rogers
2002-01-10 15:12 ` Wes Groleau
2002-01-10 15:38 ` Pat Rogers
2002-01-08 14:58 ` Larry Kilgallen [this message]
2002-01-08 17:45 ` Rod Chapman
2002-01-08 19:43 ` Larry Kilgallen
2002-01-11 10:37 ` Ian
2002-01-11 12:03 ` Larry Kilgallen
[not found] ` <ce804us8gj7mfcdpo5529m490ihichrg4a@borpin.co.uk>
2002-01-14 15:33 ` John English
2002-01-14 22:42 ` Rod Chapman
2002-01-16 12:50 ` John English
2002-01-17 8:49 ` Rod Chapman
2002-01-17 10:18 ` John English
2002-02-06 10:10 ` Rod Chapman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox