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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,e8023133274ae02c
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.cw.net!cw.net!news-FFM2.ecrc.de!news-raspail.gip.net!news.gsl.net!gip.net!grolier!usenet-fr.net!proxad.net!proxad.net!newsfeed.arcor.de!news.arcor.de!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: procedural vs object oriented
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.14.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <1146039364.130635.181590@v46g2000cwv.googlegroups.com>
 <YaV3g.576$xW4.461@fe12.lga> <871wvjh9te.fsf@ludovic-brenta.org>
Date: Thu, 27 Apr 2006 09:36:21 +0200
Message-ID: <1xs8jrwjj0dx2$.1ksjkyqyhimw9$.dlg@40tude.net>
NNTP-Posting-Date: 27 Apr 2006 09:36:16 MEST
NNTP-Posting-Host: 3fdd4f21.newsread4.arcor-online.net
X-Trace: 
 DXC==Y\TT`Of8k=c]9?QGJT=S2:ejgIfPPld4jW\KbG]kaM8]kI_X=5Kea6oLJ8VdlhG56[6LHn;2LCV>7enW;^6ZC`4IXm65S@:3>?
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:3943
Date: 2006-04-27T09:36:16+02:00
List-Id: <comp.lang.ada>

On Thu, 27 Apr 2006 07:22:21 +0200, Ludovic Brenta wrote:

> "bh" <no-spam@nosuchaddress.com> writes:
>> "Ananth the Boss" <anboss@gmail.com> wrote in message
>> news:1146039364.130635.181590@v46g2000cwv.googlegroups.com...
>>> i am working in Ada based flight software development project.as a
>>> means of improving i took to the CASE tool based development.ours is a
>>> procedural approach of development.but the commercial CASE tools speak
>>> a lot about class/object/UML.how will this suit for procedure oriented
>>> development where we dont have necessity to identify classes and do
>>> detailed design as mentioned in OO aproach
>>
>> If you don't _know_ how to do good OO with Ada, I'd recommend against it.
>> We tried a project using OO and I think it is pretty safe to say we didn't
>> get what we were hoping for. I think your results will be better with
>> procedural.
> 
> According to Robert Dewar during FOSDEM, nobody uses OOP in avionics
> software, because the uncertainty inherent to dynamic dispatching
> hinders certification.  Is someone on this newsgroup in a position to
> give a counter-example?

Can't tell about avionics, but what uncertainty of dynamic dispatching is
meant? Or, maybe, "certification" is the context of? Then which
certification, according to which criteria?

Talking about uncertainty in general, what about "inherent uncertainty" of
a procedure call? Can you tell which procedures will be called and when at
run time? If you can then, you can also do it for dispatching calls. Are
generic bodies more certain? With "with function "*" (Left, Right : Foo)
return Foo"? Really?

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de