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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,a48e5b99425d742a X-Google-Attributes: gidfac41,public X-Google-Thread: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public X-Google-Thread: 107d55,a48e5b99425d742a X-Google-Attributes: gid107d55,public X-Google-Thread: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public X-Google-Thread: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public From: jezequel@irisa.fr (Jean-Marc Jezequel) Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/20 Message-ID: <5gqsoe$bp1$2@news.irisa.fr>#1/1 X-Deja-AN: 226922426 Distribution: world References: <332B5495.167EB0E7@eiffel.com> <332d95c9.1004852@news.demon.co.uk> <33307a43.1705970@news.demon.co.uk> To: john@assen.demon.co.uk (John McCabe) Organization: Irisa, Rennes (FR) Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.programming.threads,comp.lang.ada,comp.lang.java.tech Date: 1997-03-20T00:00:00+00:00 List-Id: In article <33307a43.1705970@news.demon.co.uk>, john@assen.demon.co.uk (John McCabe) writes: >I am a bit unhappy with the way the paper has been written. As I >mentioned in another posting on this thread, the fundamental problem >was that the developers did not have Ariane 5 trajectory data to work Yes this is true. But, since the SRI was reused from Ariane4, the problem is not with developers, but with the *integration* team. >with. It was apparently "agreed at various contractual levels" that >this would not be provided, so using the Ariane 5 failure as a >demonstration of how useful Eiffel's assertions (or even Design by >Contract possibly) could have helped is fundamentally flawed! AFAIK, the integration team had the possibility to work with Ariane 5 trajectory data, and in the ideal case where Design by Contract would have been used on the SRI, they would have the opportunity the check it wrt the environment of Ariane5. -- Jean-Marc Jezequel Tel : +33 2 99847192 IRISA/CNRS Fax : +33 2 99847171 Campus de Beaulieu e-mail : jezequel@irisa.fr F-35042 RENNES (FRANCE) http://www.irisa.fr/pampa/PROF/jmj.html