TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Proportional Font
Show Text Part by Default
Show All Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Phil Thornley <[log in to unmask]>
Mon, 21 Dec 1998 08:58:22 +0000
Lotus (23 lines)
> 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
> regards,
> Jerry.


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.)

Phil Thornley