Mon, 21 Dec 1998 08:58:22 +0000
text/plain; charset=ISO-8859-1; name="Lotus"
> My interpretation of 'High-Integrity' comes from the Barnes book of the
> same name. This definitively is not intended for your day to day software
From Barnes "High Integrity Ada", page 3:
"It is perhaps difficult to give a rigid definition of high integrity
applications other than to say that they are applications where it is
beneficial for the program to be well written."
Sounds pretty widely applicable to me :-)
(But I suppose you could take an 'implicit' definition from the book as
'any application where you need to use a language like SPARK', in which
case I might be less inclined to argue.)