Re: ANNOUNCE: Ada success story in IEEE Software

[Kilgallen@SpamCop.net (Larry Kilgallen)]

In article <11bf7180.0201110237.4b6b5d00@posting.google.com>, ian0kerr@my-deja.com (Ian) writes:
> 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?

As for relevant quotes, I wrote none of the above.