Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! qed-owner@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Tue, 3 Aug 1993 17:03:45 +0100
Received: by antares.mcs.anl.gov id AA24543 (5.65c/IDA-1.4.4 for qed-outgoing);
          Tue, 3 Aug 1993 10:54:55 -0500
Received: from linus.mitre.org by antares.mcs.anl.gov with SMTP 
          id AA24532 (5.65c/IDA-1.4.4 for <qed@mcs.anl.gov>);
          Tue, 3 Aug 1993 10:54:51 -0500
Received: from circe.mitre.org by linus.mitre.org (5.61/RCF-4S) id AA05976;
          Tue, 3 Aug 93 11:54:45 -0400
Posted-Date: Tue, 03 Aug 93 11:54:42 -0400
Received: by circe.mitre.org (5.61/RCF-4C) id AA01015;
          Tue, 3 Aug 93 11:54:43 -0400
Message-Id: <9308031554.AA01015@circe.mitre.org>
To: qed@mcs.anl.gov
Cc: jt@linus.mitre.org
Subject: Re: from idea to project
In-Reply-To: Your message of "Tue, 03 Aug 93 04:00:34 EDT." <01H1AMQV4V0O90NYL7@delphi.com>
Date: Tue, 03 Aug 93 11:54:42 -0400
From: jt@linus.mitre.org
Sender: qed-owner@mcs.anl.gov



> In my last letter I said there should be a demo of QED, or actually 
> a series of demos with increasing functionality.  

The idea seems to be "design by convergence from demos." Is this
really a serious idea for software development? If it is, I hope the
idea does not catch in other areas -- such as airplane design.

   Javier Thayer