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: ffc1e,a48e5b99425d742a X-Google-Attributes: gidffc1e,public X-Google-Thread: 1108a1,5da92b52f6784b63 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,a48e5b99425d742a X-Google-Attributes: gid103376,public X-Google-Thread: 107d55,a48e5b99425d742a X-Google-Attributes: gid107d55,public X-Google-Thread: f43e6,a48e5b99425d742a X-Google-Attributes: gidf43e6,public From: Nick Leaton Subject: Re: Papers on the Ariane-5 crash and Design by Contract Date: 1997/03/18 Message-ID: <332E8C1A.3A7F@calfp.co.uk>#1/1 X-Deja-AN: 226415811 X-NNTP-Posting-Host: calfp.demon.co.uk References: <332B5495.167EB0E7@eiffel.com> <332D113B.4A64@calfp.co.uk> <5gl1f1$a26$1@quasar.dimensional.com> 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: Richard Kaiser wrote: > >1) Documentation. You need less of this. Documentation which say 'This > >feature expects this and does that' is no longer need. Documentation > >that is needed is the 'intent' of the routine, and high level intent or > >overviews. There are tools that can produce what is called the short > >form, the code without the implementation built into most compilers. > >These will also produce HTML and other outputs. > > This was the first point of failure in the design. The time limit in the > original software release should have been documented in a Version > Description Document or software requirements document. And these > documents should have been reviewed for the new rocket. But lets be practical. No body can sucessfully keep documentation in line with code, without errors. The more the code documents itself, and in this case I'm referring to assertions the better. Also, programmers like programming, not documentation. Documentation is not the product! It is an aid to producing product. -- Nick