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,5cb36983754f64da X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!nnx.oleane.net!oleane!freenix!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: "Alexander E. Kopilovich" Newsgroups: comp.lang.ada Subject: Re: No call for Ada (was Re: Announcing new scripting/prototyping language) Date: Tue, 4 May 2004 07:11:21 +0400 (MSD) Organization: Cuivre, Argent, Or Message-ID: References: NNTP-Posting-Host: lovelace.ada-france.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: melchior.cuivre.fr.eu.org 1083640730 74689 212.85.156.195 (4 May 2004 03:18:50 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Tue, 4 May 2004 03:18:50 +0000 (UTC) To: comp.lang.ada@ada-france.org Return-Path: In-Reply-To: ; from "Dmitry A. Kazakov" at Mon, 03 May 2004 11:58:44 +0200 X-Mailer: Mail/@ [v2.44 MSDOS] X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.4 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: controlnews3.google.com comp.lang.ada:219 Date: 2004-05-04T07:11:21+04:00 Dmitry A. Kazakov wrote: > Engineering is a product of science. Without science it is called > craftsmanship. With the same logic and in the same sense one can say that science (at least natural science) is a product of engineering: physics is practically indistinguishable from philosophy without engineered tools, as well as chemistry from alchemy. Social sciences were also just a branches/aspects of philosophy before they employed engineered tools (data processing tools). Actually one can consider science (at least modern science) as an engineering in common mental space. And all that said, science and engineering are still entirely different activities. > >> > there are international organizations and national organization in various > >> >countries (some of then actually are international - like ACM and IEEE) > >> >dealing with software as well. What else you want? Are you participating in > >> >at least one of those organizations? > >> > >> Can you remember the last time CNN mentioned IEEE in its news block? > >> UN-bureaucrats are aired each day. > > > >So your understanding of democracy implies that any substantial influence, > >even in complex scientific/technical matters, can be performed only by bodies, > >of which general public is well aware through mass-media? > > Absolutely. To be prepared for concessions (science is an expensive > thing) public has to be aware of what's going on. Great. Do you think that general public (in USA) was well aware of RAND Corporation in 60th? Do you think those battalions of think tanks, which emerge in recent decades either do not influence anything significantly or are well-known to general public? > >> Neither software nor legal > >> system can even emerge without humans. Yet criminal law exists. > > > >Airplanes could not emerge without humans, but they are much faster than > >humans, and they can fly. > > Thus according to your logic they should be excluded from legal > system. Hm, but they are indeed excluded. For example, as far as I understand, in USA they are practically excluded from the legal system by the method of delegation, that is, the law designates a professional (non-legal) body, and then requires that all dealing with airplanes must comply with the rules (mostly non-legal rules in their essence) established by that body (FAA, I think). And that exclusion is provided for an area where threat to human lives is severe and constant. But I note that you used a metaphor for jumping off-off-topic. Perhaps you are just dancing. > >> Depending on application area, the state has right to require definite > >> procedures to be applied for software construction. This is a common > >> practice. There is no reason to reinvent wheel here. > > > >That may be true for some application domains, but only for small minority of > >them. > > This would be vast majority, and very soon. Is a smart dust your favorite nightmare? > >> Those are not notions, but knowledge. It is *known* that bridges shall > >> not be built without analysis of statics etc. Again, there is no > >> reason, why it should be otherwise in case of software. > > > >It is quite obvious (and was said many times by various people) that humans > >have built bridges for many centures, > > Yes, and in ancient Rome, the engineer should stand under his bridge > during first tests. Yes, legends said that. But it never was said they those poor Roman engineers should stand under their bridges all the time while those bridges are used, or even once per week for a hour. > >but they have built software for several > >decades only. Do you perceive significant difference between many centures > >and several decades of experience? > > I see no difference. Do not build bridges if you cannot. Well, OK, we'll have much less bridges. We'll swim and sometimes drown. > If you > believe that you can, be liable for the result. If you know that you > cannot, but pretend that you can, then your place is in jail. I don't want to be in jail - I prefer that you'll be drowned trying to cross a river without a bridge. > >> Consider a bed-side monitoring system for resuscitation departments. > >> Should a patient die because of software crash, who would be liable? > > > >I can't see a difference (for a user, that is either the patient or hospital) > >between a software crash or hardware malfunction in that system. > > The difference is that next time, other firm would pay more attention > to quality. As you probably know, the most important goal of > punishment is prevention of crime. I still can't see a difference between in this example between software crash and hardware malfunction in the system. The quality is equally involved in both cases. > >In that > >your example I'd sue the hospital, which uses that system - for incompetency > >with the tools it employs. > >The judge will answer you that according to your theory, it is solely > you who was incompetent in choosing a hospital employing tools > developed by incompetent vendors. It is quite possible, at least in American courts, as far as I understand. If the judge decided that my expectations were unreasonable, that I did not exercise enough efforts for ensure that those my expectations will be met by this particular hospital, then the judge probably will answer something like that. But if the judge decided that according to common sense my expectations were reasonable and that (again, according to common sense) I made appropriate inquiries and received confirmations (of if I was deprived from an opprtunity to get the necessary information) - then the judge probably will found the hospital guilty. Alexander Kopilovich aek@vib.usr.pu.ru Saint-Petersburg Russia