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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f039470e8f537101
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-27 20:16:07 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!snoopy.risq.qc.ca!chi1.webusenet.com!news.webusenet.com!cyclone1.gnilink.net!spamkiller2.gnilink.net!nwrdny02.gnilink.net.POSTED!53ab2750!not-for-mail
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.5b) Gecko/20030723 Thunderbird/0.1
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Ariane5 FAQ
References: <mailman.26.1058753354.24167.comp.lang.ada@ada.eu.org>
 <wqkTa.18742$0F4.18264@nwrdny02.gnilink.net>
 <pan.2003.07.23.00.31.01.14991@mail.utexas.edu>
 <1058968422.225561@master.nyc.kbcfp.com> <3F200AD0.94F79098@adaworks.com>
 <e2e5731a.0307241721.a6eae4e@posting.google.com>
 <7u9Ua.13412$634.10307@nwrdny03.gnilink.net> <3F215120.1040706@attbi.com>
 <1059151910.357790@master.nyc.kbcfp.com>
 <e2e5731a.0307251844.7ea4dab4@posting.google.com>
 <bDTUa.6456$AO6.976@nwrdny02.gnilink.net>
 <e2e5731a.0307271419.4390a02c@posting.google.com> <ud6fvzbzc.fsf@xsol.com>
 <3F248CEE.5050709@attbi.com>
In-Reply-To: <3F248CEE.5050709@attbi.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <Wz0Va.9164$AO6.1522@nwrdny02.gnilink.net>
Date: Mon, 28 Jul 2003 03:16:06 GMT
NNTP-Posting-Host: 162.83.157.195
X-Complaints-To: abuse@verizon.net
X-Trace: nwrdny02.gnilink.net 1059362166 162.83.157.195 (Sun,
 27 Jul 2003 23:16:06 EDT)
NNTP-Posting-Date: Sun, 27 Jul 2003 23:16:06 EDT
Xref: archiver1.google.com comp.lang.ada:40890
Date: 2003-07-28T03:16:06+00:00
List-Id: <comp.lang.ada>

Robert I. Eachus wrote:
 > The mapping from requirements to actual code was perfectly done.

The people who talk about this generally mean that specifications
which place limits on externally provided data should be reflected
in the code. In the Ariane 4 case, that would have meant that the
BH conversion code would have checked its floating value against
the specified maximum and complained if it was out of range.

Whether or not you agree that such a thing is necessary, it wasn't
done that way.