Article View: comp.lang.misc
Article #3507Re: Formal definitions (Re: ada-c++ productivity)
From: Darren New
Date: Mon, 15 Apr 1991 21:55
Date: Mon, 15 Apr 1991 21:55
17 lines
1501 bytes
1501 bytes
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 +=+
Technical Details
Message-ID:
<50833@nigel.ee.udel.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!udel!ee.udel.eduReferences:
<1755@optima.cs.arizona.edu> <50453@nigel.ee.udel.edu> <1991Apr13.022129.29607@sbcs.sunysb.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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