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,f66d11aeda114c52 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,f66d11aeda114c52 X-Google-Attributes: gid103376,public From: Bertrand Meyer Subject: Re: Critique of Ariane 5 paper (finally!) Date: 1997/08/11 Message-ID: <33EF9487.41C67EA6@eiffel.com>#1/1 X-Deja-AN: 263573222 References: <33E503B3.3278@flash.net> <33E8FC54.41C67EA6@eiffel.com> <33E9B217.39DA@flash.net> <33EA5592.5855@flash.net> <33EB4935.167EB0E7@eiffel.com> <33EB754E.446B9B3D@eiffel.com> <33EBE46D.2149@flash.net> Organization: Interactive Software Engineering Inc. Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 1997-08-11T00:00:00+00:00 List-Id: I am deeply appreciative to Ken Garlington for his willingness to moderate his earlier restatements of my positions. This greatly facilitates the discussion and shows openness of mind. Thanks. On the crux of the issue, I have looked at his messages and really don't have much to add to what has been written before, especially the Jezequel-Meyer paper on Ariane accessible from http://www.eiffel.com, the ISE "news items of the week" at the same address, and of course "Object-Oriented Software Construction, 2nd edition" where the Design by Contract ideas are developed in detail. As convincingly as I could, my colleagues and I have explained: why in our view software technology crucially requires the systematic use of Design by Contract; why Design by Contract is a necessary condition to avoid more Ariane-like failures; and what is missing in this respect in such approaches as Java, Ada, C++, IDL. Ken Garlington, and others such as Robert Dewar, disagree at least in part. I find it hard to understand their position, but there is now enough published arguments on both sides to enable every reader to make up his mind. -- Bertrand Meyer, President, ISE Inc., Santa Barbara (California) 805-685-1006, fax 805-685-6869, Web: http://www.eiffel.com, with instructions for free download == ISE Eiffel 4: Eiffel straight from those who invented it ==