From: pmartin@mail.earthlink.net (Pascal F. Martin)
Subject: Re: GNAT versions ( was :Ada compiler for PC?)
Date: 1999/05/08
Date: 1999-05-08T00:00:00+00:00 [thread overview]
Message-ID: <J3YY2.2192$2j3.3654@clnws01.we.mediaone.net> (raw)
In-Reply-To: 7gpsrd$qc7$1@nnrp1.dejanews.com
In article <7gpsrd$qc7$1@nnrp1.dejanews.com>,
Robert Dewar <robert_dewar@my-dejanews.com> writes:
> In article <FB8DLq.BH6@kithrup.com>,
> mrs@kithrup.com (Mike Stump) wrote:
>
> That certainly seems backwards to me, for me the sequence of
> software production goes like:
>
> design and document the interfaces
> refine the interfaces till they are correct
> then implement
>
This is an idealistic view, as proving an interface correct is not (yet)
exact science. The mechanical and engineering science use a different
sequence which I like very much, as it copes with real life problems:
design and document the interfaces
refine the interfaces till they are accepted by peers
implement (this may infere a few changes in the interfaces)
document the interfaces "as built".
--
Pascal F. Martin.
next prev parent reply other threads:[~1999-05-08 0:00 UTC|newest]
Thread overview: 78+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-04-17 0:00 Ada compiler for PC? Michael Feher
1999-04-17 0:00 ` Steven Hovater
1999-04-17 0:00 ` Tom Moran
1999-04-18 0:00 ` Tom Moran
1999-04-20 0:00 ` Larry Kilgallen
1999-04-20 0:00 ` Robert Dewar
1999-04-20 0:00 ` GNAT versions ( was :Ada compiler for PC?) SpamSpamSpam
1999-04-21 0:00 ` Robert Dewar
1999-04-21 0:00 ` Glen
1999-04-21 0:00 ` Larry Kilgallen
1999-04-21 0:00 ` root
1999-04-22 0:00 ` Robert Dewar
1999-04-22 0:00 ` Glen
1999-04-23 0:00 ` Robert Dewar
1999-04-22 0:00 ` Russell Senior
1999-04-23 0:00 ` Samuel Mize
1999-04-23 0:00 ` Robert Dewar
1999-04-23 0:00 ` Russell Senior
1999-04-23 0:00 ` Samuel Mize
1999-04-25 0:00 ` Robert Dewar
1999-04-23 0:00 ` Robert Dewar
1999-04-23 0:00 ` Larry Kilgallen
[not found] ` <7fqld6$htu$1@nnrp1.dej <1999Apr23.172908.1@eisner>
[not found] ` <7frqmj$bg6$1@mulga.cs.mu.oz.au>
1999-04-24 0:00 ` Leslie Mikesell
1999-04-25 0:00 ` Robert Dewar
1999-04-25 0:00 ` Russ Allbery
1999-04-25 0:00 ` Robert Dewar
1999-04-25 0:00 ` Maciej Stachowiak
1999-04-26 0:00 ` Robert Dewar
1999-04-25 0:00 ` Maciej Stachowiak
1999-04-26 0:00 ` Per Bothner
1999-04-27 0:00 ` Robert Dewar
1999-04-27 0:00 ` Matthew Heaney
1999-04-28 0:00 ` Robert Dewar
1999-04-28 0:00 ` David Kastrup
1999-04-28 0:00 ` Robert Dewar
1999-04-29 0:00 ` Per Bothner
1999-04-30 0:00 ` Robert Dewar
1999-05-04 0:00 ` Mike Stump
1999-05-05 0:00 ` Robert Dewar
1999-05-06 0:00 ` Mike Stump
1999-05-06 0:00 ` Robert Dewar
1999-05-06 0:00 ` Andi Kleen
1999-05-06 0:00 ` Robert Dewar
1999-05-07 0:00 ` Mike Stump
1999-05-07 0:00 ` Robert Dewar
1999-05-08 0:00 ` Pascal F. Martin [this message]
1999-05-08 0:00 ` Robert Dewar
1999-05-08 0:00 ` bill
1999-05-17 0:00 ` Richard Kenner
1999-05-19 0:00 ` Nick Roberts
1999-04-27 0:00 ` Robert Dewar
1999-04-27 0:00 ` Stan Shebs
1999-04-24 0:00 ` Fergus Henderson
1999-04-24 0:00 ` Russ Allbery
1999-04-23 0:00 ` bourguet
1999-04-25 0:00 ` Geoffrey KEATING
1999-04-25 0:00 ` Robert Dewar
1999-04-25 0:00 ` EGCS & GNAT Was (Re: GNAT versions) David Starner
1999-04-26 0:00 ` Robert Dewar
1999-04-26 0:00 ` Robert Dewar
1999-04-26 0:00 ` GNAT versions ( was :Ada compiler for PC?) Geoffrey KEATING
[not found] ` <7fua23$fgh$1@nnrp1 <37234dca.a509d0d9@aasaa.ofe.org>
1999-04-26 0:00 ` EGCS & GNAT Was (Re: GNAT versions) Larry Kilgallen
1999-04-26 0:00 ` GNAT versions ( was :Ada compiler for PC?) bourguet
1999-04-23 0:00 ` Pascal Obry
1999-04-23 0:00 ` dennison
1999-04-23 0:00 ` Robert Dewar
1999-04-24 0:00 ` Christopher Browne
1999-04-24 0:00 ` Ronald Cole
1999-04-22 0:00 ` dennison
1999-04-21 0:00 ` Robert Dewar
1999-04-20 0:00 ` Ada compiler for PC? Tom Moran
1999-04-18 0:00 ` Wilhelm Spickermann
[not found] ` <7fua23$fgh$1@nnrp1 <37234dca.a <1999Apr25.201259.1@eisner>
1999-04-25 0:00 ` EGCS & GNAT Was (Re: GNAT versions) Leslie Mikesell
1999-04-26 0:00 ` Larry Kilgallen
1999-04-26 0:00 ` Robert Dewar
1999-05-04 0:00 ` Mike Stump
1999-05-05 0:00 ` Robert Dewar
1999-04-26 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox