TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

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

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

Print Reply
Subject:
From:
Phil Thornley <[log in to unmask]>
Reply To:
Date:
Mon, 21 Dec 1998 08:58:22 +0000
Content-Type:
text/plain
Parts/Attachments:
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.

Huhhh?

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

ATOM RSS1 RSS2