home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / object / 3082 < prev    next >
Encoding:
Internet Message Format  |  1992-07-31  |  848 b 

  1. Xref: sparky comp.object:3082 comp.specification:336
  2. Path: sparky!uunet!haven.umd.edu!decuac!pa.dec.com!datum.nyo.dec.com!nntpd.lkg.dec.com!toklas!feldman
  3. From: feldman@toklas.enet.dec.com (Gary Feldman)
  4. Newsgroups: comp.object,comp.specification
  5. Subject: Re: Current OOA/OOD and formal methods
  6. Keywords: A++, Z, VDM, formal methods, OOA/OOD
  7. Message-ID: <1992Jul31.173203.9886@nntpd.lkg.dec.com>
  8. Date: 31 Jul 92 17:32:03 GMT
  9. References: <18822@drutx.ATT.COM>
  10. Sender: feldman@toklas (Gary Feldman)
  11. Reply-To: feldman@toklas.enet.dec.com (Gary Feldman)
  12. Organization: Digital Equipment Corporation
  13. Lines: 9
  14.  
  15. In article <18822@drutx.ATT.COM>, weh@abasin.dr.att.com (William E. Hopkins)
  16. writes:
  17.  
  18. |> 
  19. |> Having just read two papers on Annotated C++ (a.k.a., A++; thanks Rich!),
  20.  
  21. Dare I ask what the two papers were, and where are they available?
  22.  
  23.    Gary
  24.