From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.7 required=5.0 tests=BAYES_00,MSGID_RANDY
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,7d1a6bfc6489c17b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2000-09-12 13:20:09 PST
Path: 
 supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!newsswitch.lcs.mit.edu!feed2.onemain.com!feed1.onemain.com!xfer13.netnews.com!netnews.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail
From: Robert Dewar <robert_dewar@my-deja.com>
Newsgroups: comp.lang.ada
Subject: Re: exiting a bloc
Date: Tue, 12 Sep 2000 20:13:10 GMT
Organization: Deja.com - Before you buy.
Message-ID: <8pm2o3$bie$1@nnrp1.deja.com>
References: <39B15EA8.88DB58AB@netcourrier.com> <8orprn$b46$1@nnrp1.deja.com>
 <39B532CB.73D359F8@ix.netcom.com> <39B5A8B0.56D674C6@telepath.com>
 <39B6114B.2929FA58@amsjv.com> <39B64E94.F081DCAB@telepath.com>
 <8p6bra$g6j$1@nnrp1.deja.com> <PM000370A5FE179FB4@Dogen.ne.mediaone.net>
 <39B72109.89DFAB8C@telepath.com> <PM000370B0EBA888B3@Dogen.ne.mediaone.net>
 <8paf97$ceb$1@trog.dera.gov.uk> <8papum$kaf$1@nnrp1.deja.com>
 <8pl43r$ivi$2@trog.dera.gov.uk>
NNTP-Posting-Host: 205.232.38.14
X-Article-Creation-Date: Tue Sep 12 20:13:10 2000 GMT
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
X-Http-Proxy: 1.0 x54.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
X-MyDeja-Info: XMYDJUIDrobert_dewar
Xref: supernews.google.com comp.lang.ada:614
Date: 2000-09-12T20:13:10+00:00
List-Id: <comp.lang.ada>

In article <8pl43r$ivi$2@trog.dera.gov.uk>,
  icaldwell@dera.gov.uk (Ian Caldwell) wrote:
> Just to clarify a bit more, one of the meanings of the C in
> C-SMART was Certifiable and not Certified.

The important distinction here is that it is entire applications
that are certified, not components of them. So what a product
like C-SMART entails is software together with all the materials
that need to be used in incorporating it into the certification
of the entire application, where C-SMART is one component.

This is important to understand, we have come across customers
quite sure they wanted certifiED stuff. In fact of course the
C of C-SMART does not capture quite enough, because the idea
isn't just that C-SMART is certifiable, but rather that it's
(relatively) easy to do the certification, since all the hard
work has been done already.

The same kind of considerations apply to libraries and runtime
executives, kernels and operating systems.


Sent via Deja.com http://www.deja.com/
Before you buy.