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=0.2 required=5.0 tests=BAYES_00,FROM_ADDR_WS, INVALID_MSGID,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,e01bd86884246855 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,fb1663c3ca80b502 X-Google-Attributes: gid103376,public From: "Joachim Durchholz" Subject: Re: Interresting thread in comp.lang.eiffel Date: 2000/07/16 Message-ID: <8kt1cn$38mus$2@ID-9852.news.cis.dfn.de>#1/1 X-Deja-AN: 647066817 References: <8ipvnj$inc$1@wanadoo.fr> <8j67p8$afd$1@nnrp1.deja.com> <39573CAB.BB90DF92@gecm.com> <8j8ek0$24la$3@ID-9852.news.cis.dfn.de> <3957ED3E.E64E7390@lmco.com> <8k8orn$1tlh9$1@ID-9852.news.cis.dfn.de> <94S95.9936$7%3.667320@news.flash.net> <8kl13r$2qd1s$1@ID-9852.news.cis.dfn.de> X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300 X-Trace: fu-berlin.de 963774680 3431388 195.190.10.210 (16 [9852]) X-MSMail-Priority: Normal Reply-To: "Joachim Durchholz" Newsgroups: comp.lang.ada,comp.lang.eiffel Date: 2000-07-16T00:00:00+00:00 List-Id: Ken Garlington wrote: > > So what you're saying is: without specific knowledge in this domain, > you're finding it difficult to understand how to write the proper > contract? Yes. > Would it be fair to say that if you were a software engineer analyzing > an existing module contract, and you were given this figure, you might > also have difficulties? Yes. The paper assumes a lot of knowledge that I simply do not have. I'd be unable to distill this into a specification, whether using assertions or any other method. Regards, Joachim -- This is not an official statement from my employer or from NICE. Reply-to address changed to discourage unsolicited advertisements.