From: Jeffrey Carter <spam@spam.com>
Subject: Re: SPARK gets another fan
Date: Fri, 12 Dec 2003 18:37:03 GMT
Date: 2003-12-12T18:37:03+00:00 [thread overview]
Message-ID: <jVnCb.784$Pg1.35@newsread1.news.pas.earthlink.net> (raw)
In-Reply-To: <brcrq0$1ubo4$1@ID-175126.news.uni-berlin.de>
Vinzent 'Gadget' Hoefler wrote:
> Yeah. SPARK seems to reach some audience. Yesterday Rod mentioned that
> the current edition of John's "High Integrity Software" sold better
> than the first one. Whatever this means when expressed in numbers - it
> can't be too bad. :)
I wish I could get a job where people are at least concerned enough
about software quality to actually have and use a design and
implementation method, much less the discipline of something like SPARK.
I'm tired of US defense contracts where quality is a bad thing, because
creating bad software takes longer, and that translates into more
profits for the contractor.
--
Jeff Carter
"C++ is like giving an AK-47 to a monk, shooting him
full of crack and letting him loose in a mall and
expecting him to balance your checking account
'when he has the time.'"
Drew Olbrich
52
prev parent reply other threads:[~2003-12-12 18:37 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-12-12 7:10 SPARK gets another fan Mike Silva
2003-12-12 16:51 ` Vinzent 'Gadget' Hoefler
2003-12-12 18:37 ` Jeffrey Carter [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox