From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Bug rate and choice of programming language
Date: Wed, 11 Aug 2010 02:04:57 +0200
Date: 2010-08-11T02:04:57+02:00 [thread overview]
Message-ID: <op.vg8yij0qule2fv@garhos> (raw)
In-Reply-To: 3e1c5adb-a0b8-4ffd-9268-fcaa2e3ad13c@v15g2000yqe.googlegroups.com
Le Tue, 10 Aug 2010 22:53:25 +0200, Phil Thornley
<phil.jpthornley@gmail.com> a écrit:
> http://www.stsc.hill.af.mil/crosstalk/2003/11/0311german.html
Would like to quote this from the latter link:
> The application of static code analysis techniques in retrospect
> is not ideal; the process is best suited and cheapest when applied
> during software development.
Not in retrospect, but during the process (implies from near the start).
--
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-11 0:04 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) [this message]
2010-08-11 0:19 ` Yannick Duchêne (Hibou57)
2010-08-11 0:40 ` Shark8
2010-08-16 17:52 ` Yannick Duchêne (Hibou57)
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