[log in to unmask] wrote:

>Undoubtedly you all know that Uncle Sam funded the original NYU-based
>work on GNAT.
>Perhaps you're not all aware that the original ObjectAda front end was
>developed by Intermetrics in the guise of the AJPO-sponsored "Academic
>Ada" project; Thomson (later Aonix) became the commercializer thereof.
>If memory serves, the U.S. taxpayers' investment was in the
>neighborhood of a few million dollars in each system; this teeny bit
>of seed money has given rise to successful projects under both models.
>(Well, successful as Ada goes, anyway. :-))

I presume that would be:

     Ada model: few planes built but none of them crash

     Microsoft model: a billion planes built, of which only a million crash