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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,de98d0782a843079 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-13 19:15:46 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!news.tele.dk!small.news.tele.dk!proxad.net!usenet-fr.net!enst.fr!not-for-mail From: "Alexandre E. Kopilovitch" Newsgroups: comp.lang.ada Subject: Re: Problem space and solution space Date: Wed, 14 May 2003 06:16:28 +0400 (MSD) Organization: h w c employees, b f Message-ID: NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: avanie.enst.fr 1052878499 12551 137.194.161.2 (14 May 2003 02:14:59 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Wed, 14 May 2003 02:14:59 +0000 (UTC) To: comp.lang.ada@ada.eu.org Return-Path: X-Mailer: Mail/@ [v2.44 MSDOS] X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: comp.lang.ada mail to news gateway List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: archiver1.google.com comp.lang.ada:37307 Date: 2003-05-14T06:16:28+04:00 maa@liacc.up.pt (M?rio Amado Alves) writes: ><software development process>> (Alexander) > >A typical situation occurs in the chain > 1 requirements specification > 2 design > 3 program >where 1 is a problem to the designer, 2 is a solution to 1, 2 is a >problem to the programmer, and 3 is a solution to 2 (and transitively >to 1). No, that is only the middle part of the actual chain, which is more like this: 1 real-world problem -- here we are in problem space 2 requirements specification -- here we are still in problem space 3 design -- here we construct a mapping from some -- decomposition of the problem space into -- some decomposition of solution space 4 program -- here we are in solution space 5 production run and maintenance. -- is there an easy-to-follow bidirectional -- correspondence between the problem space -- and the solution space ? Most important thing here is that we should consider solution spaces with no less attention then problem spaces. This means that we should indeed treat them as spaces of some sort, and try to apply to them systematically the same approaches and notions that we routinely associate with various kinds of spaces. With that understanding the whole chain looks (well, I admit, quite vaguely) as a process of construction of some sort of correspondence between the problem space and the solution space. The task of controlling that process has its own problem space, and this one is that I tried to tell about in my previous posting under this subject line. Finally, I'd like to mention, that this view was not justified until relatively recently (perhaps, not earlier then 1980 or so), because there was no substantial space of solutions for general use; the available ready-to-use solutions were mostly isolated. Alexander Kopilovitch aek@vib.usr.pu.ru Saint-Petersburg Russia