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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c9d5fc258548b22a
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!news.in2p3.fr!in2p3.fr!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: How do I write directly to a memory address?
Date: Wed, 9 Feb 2011 21:03:33 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <iivki7$qrl$1@munin.nbi.dk>
References: 
 <67063a5b-f588-45ea-bf22-ca4ba0196ee6@l11g2000yqb.googlegroups.com>
 <4d4ff70e$0$6886$9b4e6d93@newsspool2.arcor-online.net>
 <737a6396-72bd-4a1e-8895-7d50f287960e@d28g2000yqc.googlegroups.com>
 <4d5008a5$0$6879$9b4e6d93@newsspool2.arcor-online.net>
 <eda00084-fcc3-416c-bd3e-8b9e9c1a4b40@o13g2000yql.googlegroups.com>
 <4d5031fe$0$6765$9b4e6d93@newsspool3.arcor-online.net>
 <1f229967-d3cf-42b6-8087-c97ee08652f3@i40g2000yqh.googlegroups.com>
 <4d51169e$0$7657$9b4e6d93@newsspool1.arcor-online.net>
 <db60098c-2569-4efb-aa81-253ba53686b4@y26g2000yqd.googlegroups.com>
 <iis37l$t09$1@tornado.tornevall.net>
 <4d51905c$0$19486$882e7ee2@usenet-news.net>
 <36212a7b-deab-45d9-ac45-aa29cd90c7bc@o18g2000prh.googlegroups.com>
 <4d51a7bb$0$19486$882e7ee2@usenet-news.net> <iisll6$9th$1@munin.nbi.dk>
 <4d52b489$0$19486$882e7ee2@usenet-news.net>
 <9a8njlwvey1p.1a96yvvgdf6yu.dlg@40tude.net>
 <4d52c5e5$0$19486$882e7ee2@usenet-news.net>
 <ewxe8m5g7wz3$.k115u2qzl8ry.dlg@40tude.net>
 <4d52d7d9$0$18057$882e7ee2@usenet-news.ne
	t>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1297307016 27509 69.95.181.76 (10 Feb 2011 03:03:36 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 10 Feb 2011 03:03:36 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5931
Xref: g2news1.google.com comp.lang.ada:17201
Date: 2011-02-09T21:03:33-06:00
List-Id: <comp.lang.ada>

"Hyman Rosen" <hyrosen@mail.com> wrote in message 
news:4d52d7d9$0$18057$882e7ee2@usenet-news.net...
 >...
>I submit that
> specifying the requirements of a program is identical to
> writing that program, and you are only fooling yourself if
> you believe otherwise.

I used to think that, too, but that line of thought misses the value of 
redundancy. That is, specifying a program in two different ways and ensuring 
that the two specifications are identical detects or eliminates most 
problems.

You are of course right that is if the requirements are wrong, the program 
still won't do what it needs to do -- but that gets addressed by fixing the 
requirements AND the program.

                                Randy.