From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Is the Documentation In a spec File Usually Enough For You ?
Date: Thu, 18 Oct 2018 22:07:16 +0200
Date: 2018-10-18T22:07:16+02:00 [thread overview]
Message-ID: <pqap5k$t6a$1@dont-email.me> (raw)
In-Reply-To: <80e23f09-06ac-4112-9b7f-e765266a952d@googlegroups.com>
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.
--
Jeff Carter
"Well, a gala day is enough for me. I don't think
I can handle any more."
Duck Soup
93
next prev parent reply other threads:[~2018-10-18 20:07 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 [this message]
2018-10-21 15:20 ` AdaMagica
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