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: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public X-Google-Thread: 107d55,a48e5b99425d742a X-Google-Attributes: gid107d55,public X-Google-Thread: fac41,a48e5b99425d742a X-Google-Attributes: gidfac41,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public X-Google-Thread: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public From: Karel Th�nissen Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/19 Message-ID: <333058D4.6A89@hello.nl>#1/1 X-Deja-AN: 226818416 References: <332B5495.167EB0E7@eiffel.com> Organization: Hello Technologies Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.programming.threads,comp.lang.ada,comp.lang.java.tech Date: 1997-03-19T00:00:00+00:00 List-Id: Thomas wrote: > > In fact, > Eiffel itself, which has been mentioned here because of its assertion > system, is built on a foundation of runtime safety. True, but there is reason to believe that it is simpler to obtain a reliable runtime system for a programming language then for a flight control system. Not only is the flight control system depending on the runtime system (adding an additional layer of complexity), but also for several reasons it is easier to test and mature the runtime system. The runtime system does not need a complicated testing environment and gets tested every day by each of its users. By the time it qualifies for space, it will have had its child diseases. Unfortunately, one major software firm is well known for using its customers as unpaid beta-testers.... Groeten, Karel