From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Making sense of predicates
Date: Tue, 22 Oct 2013 15:38:32 +0200
Date: 2013-10-22T15:38:32+02:00 [thread overview]
Message-ID: <ni8xakaizmd8.r0dy7gxbtci9$.dlg@40tude.net> (raw)
In-Reply-To: 52667531$0$9502$9b4e6d93@newsspool1.arcor-online.net
On Tue, 22 Oct 2013 14:53:04 +0200, Georg Bauhaus wrote:
> On 22.10.13 10:19, Dmitry A. Kazakov wrote:
>> That does not work.
>
> From a vendors' point of view, adding fancy stuff works,
> immediately. If industry does not complain, why would we?
Don't really understand your point. BTW, I am not sure about you, but I
regard myself as a part of the industry.
P.S. I would also object the very idea of design by industry requests.
Industry by necessity is conservative and unimaginative.
P.P.S. My educated guess would be that accessibility checks score about one
third of faults in Ada programs, while preventing no more than 1%.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2013-10-22 13:38 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-10-21 19:51 Making sense of predicates Dmitry A. Kazakov
2013-10-22 4:35 ` Randy Brukardt
2013-10-22 8:19 ` Dmitry A. Kazakov
2013-10-22 12:53 ` Georg Bauhaus
2013-10-22 13:38 ` Dmitry A. Kazakov [this message]
2013-10-22 20:38 ` Georg Bauhaus
2013-10-24 4:03 ` Randy Brukardt
2013-10-24 7:26 ` Dmitry A. Kazakov
2013-10-22 7:14 ` Shark8
2013-10-22 7:35 ` Jacob Sparre Andersen
2013-10-22 17:26 ` Shark8
2013-10-23 7:56 ` Jacob Sparre Andersen
2013-10-24 3:58 ` Randy Brukardt
2013-10-22 8:11 ` Dmitry A. Kazakov
2013-10-22 7:20 ` Jacob Sparre Andersen
2013-10-22 7:57 ` Dmitry A. Kazakov
2013-10-22 14:52 ` Dan'l Miller
2013-10-22 16:30 ` Dmitry A. Kazakov
2013-10-22 17:15 ` Dan'l Miller
2013-10-22 19:26 ` Dmitry A. Kazakov
2013-10-22 19:49 ` J-P. Rosen
2013-10-22 21:30 ` Dan'l Miller
2013-10-23 9:25 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox