From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Is the Documentation In a spec File Usually Enough For You ?
Date: Sun, 21 Oct 2018 08:20:07 -0700 (PDT)
Date: 2018-10-21T08:20:07-07:00 [thread overview]
Message-ID: <401524c8-ca2e-4192-b451-96abfc98a066@googlegroups.com> (raw)
In-Reply-To: <pqap5k$t6a$1@dont-email.me>
Am Donnerstag, 18. Oktober 2018 22:07:18 UTC+2 schrieb Jeffrey R. Carter:
> On 10/18/18 7:54 PM, AdaMagica wrote:
> >
> > If you do not say that your code produces a good password, how can the user know he will get a good password? He must trust JC because he possibly knows him personally or because he uses other well defined and well written sw from him.
> >
> > But I claim: In SW, there must be no such trust. JC may just have been being lazy in this case.
>
> Right. So if I claim the function returns a good password, you won't trust me
> and won't accept my claim until you've tested it. So there's no point in my
> making such a claim.
So if you used a library written by me, would you take it as is without ever caring whether is does what I claimed that it does? How imprudent!
next prev parent reply other threads:[~2018-10-21 15:20 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-10-15 0:42 Is the Documentation In a spec File Usually Enough For You ? patrick
2018-10-15 5:44 ` Henrik Härkönen
2018-10-15 7:22 ` Dmitry A. Kazakov
2018-10-15 7:42 ` Niklas Holsti
2018-10-15 10:05 ` AdaMagica
2018-10-15 11:25 ` patrick
2018-10-15 11:57 ` Markus Schöpflin
2018-10-15 13:02 ` patrick
2018-10-15 16:50 ` Jeffrey R. Carter
2018-10-16 9:57 ` AdaMagica
2018-10-16 16:57 ` Jeffrey R. Carter
2018-10-18 9:06 ` AdaMagica
2018-10-18 15:24 ` Brad Moore
2018-10-18 17:29 ` Jeffrey R. Carter
2018-10-18 17:54 ` AdaMagica
2018-10-18 18:50 ` Dennis Lee Bieber
2018-10-18 20:07 ` Jeffrey R. Carter
2018-10-21 15:20 ` AdaMagica [this message]
2018-10-21 18:56 ` Jeffrey R. Carter
2018-10-22 16:04 ` AdaMagica
2018-10-22 19:13 ` Jeffrey R. Carter
2018-10-23 10:00 ` AdaMagica
2018-10-18 21:24 ` Randy Brukardt
2018-10-19 7:39 ` J-P. Rosen
2018-10-20 1:27 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox