From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Required Metrics
Date: 2000/05/04
Date: 2000-05-04T00:00:00+00:00 [thread overview]
Message-ID: <8es65n$5hn$1@nnrp1.deja.com> (raw)
In-Reply-To: BQnP4.3698$wb7.344147@news.flash.net
In article <BQnP4.3698$wb7.344147@news.flash.net>,
"Ken Garlington" <Ken.Garlington@computer.org> wrote:
> I'm not surprised, but I don't think it really answers my
question. The
> issue isn't, in my mind, "How easy is it for vendors to ignore
certain
> requirements?". It's "Is there really a requirement?" (See my
response to
> Tucker's post for more...)
For a validated compiler -- difficult! In particular, how can
the DOC be signed if you have ignored a requirement.
Once again, the documentation requirements, the primary subject
of this thread, are in a rather special category, since these
are untestable, undefined requirements. Normally one would not
expect to find untestable, undefined stuff in a language
standard, and for the most part, one does not in the Ada RM,
but I am afraid there are exceptions :-)
Sent via Deja.com http://www.deja.com/
Before you buy.
next prev parent reply other threads:[~2000-05-04 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 ` 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-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-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-04 0:00 ` Wes Groleau
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 [this message]
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 ` 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-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-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
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox