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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,2c41845dd8e1b7c4
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-12 03:08:29 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: maa@liacc.up.pt (=?ISO-8859-1?Q?M=E1rio_Amado_Alves?=)
Newsgroups: comp.lang.ada
Subject: Re: Problem space (Re: Using Ada for device drivers? (Was: the Ada
    mandate...))
Date: 12 May 2003 03:08:29 -0700
Organization: http://groups.google.com/
Message-ID: <4a4de33a.0305120208.780bc663@posting.google.com>
References: <mailman.39.1052703222.9816.comp.lang.ada@ada.eu.org>
NNTP-Posting-Host: 193.137.36.168
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1052734109 615 127.0.0.1 (12 May 2003 10:08:29
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 12 May 2003 10:08:29 GMT
Xref: archiver1.google.com comp.lang.ada:37232
Date: 2003-05-12T10:08:29+00:00
List-Id: <comp.lang.ada>

> >... I told someone 
> >working on our (Ada) compiler: "No, in Ada you model the problem space, 
> >not the solution space."  I then excused myself for a minute to write it 
> >on my office whiteboard. (Robert)
> 
> I wish that statement will be placed on all major Ada sites, in boldface and
> at the top of their homepages. (Alexandre)

Astonishingly convergent independent statement: "the rich type system
of Ada lets the problem express itself as source code" (my paper on
Ada-Europe 2003).

I understand Alexandre's point about many problems not being defined
enough, but I submit *the* problem is right there: many authors will
tell you that the definition of the problem is an *essential* prior
step in the path for a solution. In artificial intelligence this is an
absolute tenet (cf. e.g. Russel & Norvig 2003 AIMO 2nd ed). I wish it
was so in software engineering also, and my (and surely Robert's)
point is that the use of Ada promotes that.

Cheers,
--MAA