From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Bug rate and choice of programming language
Date: Mon, 16 Aug 2010 19:52:52 +0200
Date: 2010-08-16T19:52:52+02:00 [thread overview]
Message-ID: <op.vhjlaev0xmjfy8@garhos> (raw)
In-Reply-To: 544aa193-49cc-43ef-b92e-eb186d1d7288@w30g2000yqw.googlegroups.com
Le Wed, 11 Aug 2010 02:40:15 +0200, Shark8 <onewingedshark@gmail.com> a
écrit:
> UML is, in my opinion, over-rated and over-hyped
This is the paradox which need to be solved: many talks about it, far few
use I have seen (to be honest, none at all, even with publicly available
Ada source which are supposed to be more demanding)
--
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
-- i.e. forget about previous premises which leads to conclusion
-- and start with new conclusion as premise.
next prev parent reply other threads:[~2010-08-16 17:52 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-10 13:22 Bug rate and choice of programming language Maciej Sobczak
2010-08-10 14:41 ` Georg Bauhaus
2010-08-10 14:45 ` Yannick Duchêne (Hibou57)
2010-08-10 20:53 ` Phil Thornley
2010-08-10 22:23 ` Yannick Duchêne (Hibou57)
2010-08-11 0:04 ` Yannick Duchêne (Hibou57)
2010-08-11 0:19 ` Yannick Duchêne (Hibou57)
2010-08-11 0:40 ` Shark8
2010-08-16 17:52 ` Yannick Duchêne (Hibou57) [this message]
2010-08-11 5:36 ` Simon Wright
2010-08-16 17:48 ` Yannick Duchêne (Hibou57)
2010-08-11 7:50 ` Charles H. Sampson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox