comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: exiting a bloc
Date: Tue, 12 Sep 2000 20:13:10 GMT
Date: 2000-09-12T20:13:10+00:00	[thread overview]
Message-ID: <8pm2o3$bie$1@nnrp1.deja.com> (raw)
In-Reply-To: 8pl43r$ivi$2@trog.dera.gov.uk

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.



  reply	other threads:[~2000-09-12 20:13 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-09-02 20:10 exiting a bloc Mathias Dolidon
2000-09-02 20:39 ` Mathias Dolidon
2000-09-02 21:01 ` Robert Dewar
2000-09-02 22:34   ` Mathias Dolidon
     [not found]     ` <86snrhkfep.fsf@acm.org>
2000-09-03 15:46       ` Mathias Dolidon
2000-09-05 17:52   ` Richard Riehle
2000-09-06  2:06     ` Ted Dennison
2000-09-06  9:41       ` Philip Anderson
2000-09-06 13:54         ` Ted Dennison
2000-09-06 21:10           ` Robert Dewar
2000-09-06 23:33             ` Ed Falis
2000-09-07  0:39               ` Robert Dewar
     [not found]               ` <39B72109.89DFAB8C@telepath.com>
2000-09-07 12:34                 ` Ed Falis
2000-09-08 10:33                   ` Ian Caldwell
2000-09-08 13:35                     ` r_c_chapman
2000-09-09  1:52                       ` Robert Dewar
2000-09-12 11:30                       ` Ian Caldwell
2000-09-12 20:13                         ` Robert Dewar [this message]
2000-09-09  1:48                     ` Robert Dewar
2000-09-12 11:24                       ` Ian Caldwell
2000-09-12 20:14                         ` Robert Dewar
2000-09-13  8:34                           ` Philip Anderson
2000-09-13 11:02                             ` Peter Amey
2000-09-06  7:00     ` Ray Blaak
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox