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.6 required=5.0 tests=BAYES_05,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,5528f4f0452fdf6 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,5528f4f0452fdf6 X-Google-Attributes: gid103376,public From: donh@syd.csa.com.au (Don Harrison) Subject: Re: Rebuttal to Ariane paper Date: 1997/08/26 Message-ID: #1/1 X-Deja-AN: 268572844 Sender: news@syd.csa.com.au X-Nntp-Posting-Host: dev50 References: <34018ec9.3850572@wizard.pn.com> Organization: CSC Australia, Sydney Reply-To: donh@syd.csa.com.au Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 1997-08-26T00:00:00+00:00 List-Id: Lee Webber wrote: :1. I am an Eiffel enthusiast; also, a developer with a generation's :experience in networking and (mostly soft) real-time systems. : :2. I have however never actually used Eiffel in any project, much to :my regret, because the existing systems have not been scaled to my :platforms. (Recent announcements, incluing Visual Eiffel and :especially Embedded Eiffel, may change that. We'll see if I can get :out of my existing technical commitments.) : :3. I do agree with Ken that DBC per se wouldn't have saved Ariane, :while any normal methodological diligence (with a methodology possibly :including but not restricted to DBC) would have. : :4. I do think that the use of DBC in several projects might well have :resulted in a design culture which would then have made Ariane less :likely. However (as always with cultures) there is no inevitability :about this. : :5. As for a couple of technical issues, executable assertions don't :always work well with time-critical code, and some external entities :don't model well as well-behaved objects. The first of these :observations might make DBC somewhat less useful in HRT apps than :elsewhere -- but certainly not useless. The second observation, IMO, :hits at all specification and testing methodologies, not just DBC. : :6. As for reluctance, many Eiffelists (including myself) are simply :not that qualified to speak to HRT issues. : :FWIW, YMMV. This is my first and last direct comment on Ariane. Sensible comments. Don. =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- Don Harrison nospam@thankyou.maam.com.au