Re: ANNOUNCE: Ada success story in IEEE Software

[ian0kerr@my-deja.com (Ian)]

Kilgallen@SpamCop.net (Larry Kilgallen) wrote in message news:<uA2lVe9FJfDD@eisner.encompasserve.org>...
> 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,

Thanks for the promotion of the IEEE but:

"The full text of IEEE Software is available to Computer Society members"

so could you post a portion of the relevent quotes or even just the abstract?


Thanks,
Ian