comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Required Metrics
Date: 2000/05/07
Date: 2000-05-07T00:00:00+00:00	[thread overview]
Message-ID: <8f3u36$dnk$1@nnrp1.deja.com> (raw)
In-Reply-To: Bj7R4.8714$wb7.694404@news.flash.net

In article <Bj7R4.8714$wb7.694404@news.flash.net>,
  "Ken Garlington" <Ken.Garlington@computer.org> wrote:

> When a vendor says, "This requirement does not constrain me in
> any way", that's trouble.

A vendor can only say this if it is correct, and if it is
correct that the requirement is not constraining, then it is
not trouble as far as the requirement goes.

> "Committment" implies that vendors take some specific action
> in response to the requirement.

Right! Absolutely! YOu have to make sure you meet all the
requirements. Including documentation requirements in the
sense of the RM.

> As we've seen, that isn't necessary to sign the DOC with a
> clear conscience.

We have seen nothing of the kind. When I sign the DOC I am
very careful to ensure that the statement signed is formally
true with respect to ALL requirements, including documentation
requirements. Indeed I have often held up signing a DOC because
there is some small issue on which I am not satisfied that we
do not have a deviation from the standard.

> So, do you still believe this "moral" committment is being
> met?

Absolutely it is being met. The requirements are being met. THe
trouble is that, unjustified by the RM, Ken Garlington has some
idea in his mind that meeting them involves something other
than meeting the requirements of the RM. Fine, but not relevant
to the validation process.


> Well, I would hope less often that they used to -- I know my
> group has sworn off these custom contracts wherever possible.
> After having spent well into seven digits on compilers in the
> last 15 years, I don't think we'll be back
> anytime soon.

If you have spent millions of dollars on Ada compilers, and not
got what you wanted, then I would say the blame must fall on
you as well as your suppliers.

Again, this statement shows the fantasy you have that the
RM can ensure that off-the-shelf compilers meet your needs.
Now of course it might be the case that OTS compilers can
meet your needs, but if this is true, it is a reflection of
many other factors than the contents of the standard.

Perhaps the real trouble is the DoD notion of custom contracts.
It tends to be far too formal, and thus far too expensive.
What's needed in general is a more flexible, much less expensive
much less formal, but far more effective procedure, where, as
in buying a car or almost anything else, there is informal
discussion between the vendor and consumer.

In the GNAT context, there are very few users for whom we have
not provided enhancements to the compiler from time to time
in response to their needs. You have all seen the big list of
new features and capabilities that come with each new version,
and most of these entries come from informal discussions and
requests. In some cases, significant features are specially
costed of course.

But again, if you have been spending millions of dollars on
Ada compilers and have not got what you want, something is
quite wrong on BOTH sides.


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




  reply	other threads:[~2000-05-07  0:00 UTC|newest]

Thread overview: 68+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-04-29  0:00 Required Metrics Ken Garlington
2000-04-29  0:00 ` swhalen
2000-05-01  0:00   ` Required Metrics (GNAT et al) Ken Garlington
2000-05-01  0:00     ` swhalen
2000-05-01  0:00       ` Ken Garlington
2000-05-01  0:00 ` Required Metrics Ted Dennison
2000-05-01  0:00   ` Ken Garlington
2000-05-04  0:00     ` Roger Barnett
2000-05-05  0:00       ` Robert Dewar
2000-05-04  0:00     ` Robert Dewar
2000-05-05  0:00       ` Ken Garlington
2000-05-05  0:00         ` Robert Dewar
2000-05-05  0:00           ` Ted Dennison
2000-05-06  0:00             ` Robert Dewar
2000-05-07  0:00           ` Robert I. Eachus
2000-05-07  0:00             ` Ken Garlington
2000-05-07  0:00               ` Robert Dewar [this message]
2000-05-07  0:00                 ` Ken Garlington
2000-05-07  0:00                   ` Robert Dewar
2000-05-07  0:00             ` Robert Dewar
2000-05-18  0:00               ` Robert I. Eachus
2000-05-18  0:00                 ` Robert A Duff
2000-05-19  0:00                   ` Robert I. Eachus
2000-05-21  0:00                   ` Robert Dewar
2000-06-03  0:00                     ` Robert I. Eachus
2000-05-08  0:00             ` Ole-Hjalmar Kristensen
2000-05-08  0:00               ` Robert Dewar
2000-05-08  0:00               ` Robert Dewar
2000-05-18  0:00               ` Robert I. Eachus
2000-05-18  0:00                 ` Ken Garlington
2000-05-01  0:00   ` Tucker Taft
2000-05-01  0:00     ` Ken Garlington
2000-05-02  0:00       ` Ted Dennison
2000-05-04  0:00         ` Robert Dewar
2000-05-04  0:00           ` Ted Dennison
2000-05-05  0:00           ` Ken Garlington
2000-05-05  0:00             ` Robert Dewar
2000-05-02  0:00       ` Ken Garlington
2000-05-02  0:00         ` Ted Dennison
2000-05-03  0:00         ` Robert Dewar
2000-05-03  0:00           ` Ken Garlington
2000-05-03  0:00             ` Robert A Duff
2000-05-04  0:00               ` Ken Garlington
2000-05-04  0:00                 ` Robert Dewar
2000-05-04  0:00                   ` Robert A Duff
2000-05-04  0:00                     ` Robert Dewar
2000-05-05  0:00                   ` Ken Garlington
2000-05-04  0:00             ` Robert Dewar
2000-05-04  0:00               ` Ken Garlington
2000-05-05  0:00                 ` Robert Dewar
2000-05-06  0:00                   ` Ken Garlington
2000-05-06  0:00                     ` Robert Dewar
2000-05-07  0:00                       ` Ken Garlington
2000-05-07  0:00                         ` Robert Dewar
2000-05-07  0:00                           ` Ken Garlington
2000-05-07  0:00                             ` Robert Dewar
2000-05-07  0:00                               ` Ken Garlington
2000-05-07  0:00                                 ` Robert Dewar
2000-05-06  0:00                     ` Ken Garlington
2000-05-06  0:00                       ` Robert Dewar
2000-05-07  0:00                         ` Ken Garlington
2000-05-07  0:00                           ` Robert Dewar
2000-05-08  0:00                         ` Ole-Hjalmar Kristensen
2000-05-06  0:00                       ` Robert Dewar
2000-05-04  0:00               ` Wes Groleau
2000-05-04  0:00             ` Robert Dewar
2000-05-04  0:00               ` Ken Garlington
2000-05-05  0:00                 ` Robert Dewar
replies disabled

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