Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!udel!ee.udel.edu
From: new@ee.udel.edu (Darren New)
Newsgroups: comp.lang.misc
Subject: Re: Formal definitions (Re: ada-c++ productivity)
Message-ID: <50833@nigel.ee.udel.edu>
Date: 15 Apr 91 21:55:27 GMT
References: <1755@optima.cs.arizona.edu> <50453@nigel.ee.udel.edu> <1991Apr13.022129.29607@sbcs.sunysb.edu>
Sender: usenet@ee.udel.edu
Organization: University of Delaware
Lines: 17
Nntp-Posting-Host: estelle.ee.udel.edu

In article <1991Apr13.022129.29607@sbcs.sunysb.edu> jallen@libserv1.ic.sunysb.edu (Joseph Allen) writes:
>>Clearly, this is the kind of specification a customer wants to give.
>:-) Yeah.  (Do you work in the real world (tm)?)  If customers could give this
>good of a specification we probably really could automate coding and we would
>all be out of a job. 

I misspoke, I guess.  I meant that this is the kind of specification you
eventually develop from what the customer tells you he/she wants. I was
contrasting this with a "specification" of the form "main(){ ... }".

And, yes, I *used* to work in the "real world".  That's why I returned
to graduate school :-).
-- 
--- Darren New --- Grad Student --- CIS --- Univ. of Delaware ---
----- Network Protocols, Graphics, Programming Languages, FDTs -----
     +=+=+ My time is very valuable, but unfortunately only to me +=+=+
+=+ Nails work better than screws, when both are driven with screwdrivers +=+