From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,fb1663c3ca80b502
X-Google-Attributes: gid103376,public
From: Simon Brady <see@below.for.email.address>
Subject: Re: Writing better software was: Design by Contract (was Re:
 Interesting  thread in comp.lang.eiffel)
Date: 2000/07/31
Message-ID: <3984AD1D.830B538@below.for.email.address>#1/1
X-Deja-AN: 652564319
Cache-Post-Path: the-rowan.albatross.co.nz!sbrady@kakapo.otago.ac.nz
Content-Transfer-Encoding: 7bit
References: <8ipvnj$inc$1@wanadoo.fr> <39654639.B3760EF2@eiffel.com>
 <i4k95.7512$7%3.571616@n <397D8CC3.BB0C9001@ix.netcom.com>
 <tavg5.2713$ED.161171@news.wenet.net>
X-Original-NNTP-Posting-Host: ns.albatross.co.nz
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
X-Abuse-Info: Otherwise we will be unable to process your complaint properly
X-Complaints-To: abuse@GigaNews.Com
X-Trace: 
 sv2-UV2WiPZ85kmX7wZKU59mFWJmPceymrbTHb6LvAOCJnUd7Ka3oIO7ftSWBHmEJKatILFoowd4Zz3Ro7M!2g9nHUBgyXfoP8TvRhMr0TOP
Organization: University of Otago CS Dept
X-Original-Trace: 31 Jul 2000 10:33:05 +1200, ns.albatross.co.nz
X-Cache: nntpcache 2.3.3 (see http://www.nntpcache.org/)
MIME-Version: 1.0
NNTP-Posting-Date: Sun, 30 Jul 2000 17:33:10 CDT
Newsgroups: comp.lang.ada
Date: 2000-07-31T00:00:00+00:00
List-Id: <comp.lang.ada>

Kent Paul Dolan wrote:
> 
> The case study in the above book of necessity only follows the project
> studied up to the book's publication date.  Later breaking news is the
> delivery of a suite of software for space shuttle control with one bug
> detected ever in the delivered product.  Not "one bug per KLOC",
> _one_bug_.

A good article on the Shuttle development process and culture is:

   http://www.fastcompany.com/online/06/writestuff.html

Simon Brady                                            sjbrady
Research Assistant, Computer Science Dept.               at
University of Otago, Dunedin, New Zealand            acm dot org