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: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public X-Google-Thread: 107d55,a48e5b99425d742a X-Google-Attributes: gid107d55,public X-Google-Thread: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public X-Google-Thread: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public From: tarjeij@ulrik.uio.no (Tarjei Jensen) Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/18 Message-ID: <5glvsb$a9h$1@ratatosk.uio.no>#1/1 X-Deja-AN: 226408150 References: <332B5495.167EB0E7@eiffel.com> Organization: University of Oslo, Norway Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.programming.threads,comp.lang.ada,comp.lang.java.tech Date: 1997-03-18T00:00:00+00:00 List-Id: > Bertrand Meyer writes: > > The real problem was that the assertion was not part of the software. > Show how it should be done. I think you will have problems creating assertions that would catch anything more than an Ada compiler would catch before the actual liftoff. After liftoff no amounts of assertions will help. Greetings, -- // Tarjei T. Jensen // tarjeij@ulrik.uio.no || fax +47 51664292 || voice +47 51 85 87 39 // Support you local rescue centre: GET LOST! // Working, but not speaking for the Norwegian Hydrographic Service.