home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / object / 3086 < prev    next >
Encoding:
Internet Message Format  |  1992-07-23  |  2.1 KB
  1. Xref: sparky comp.object:3086 comp.specification:337
  2. Path: sparky!uunet!usc!zaphod.mps.ohio-state.edu!uwm.edu!linac!att!att!drutx!abasin!weh
  3. From: weh@abasin.dr.att.com (William E. Hopkins)
  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: <18871@drutx.ATT.COM>
  8. Date: 31 Jul 92 21:27:51 GMT
  9. References: <18822@drutx.ATT.COM> <1992Jul31.173203.9886@nntpd.lkg.dec.com>
  10. Sender: news@drutx.ATT.COM
  11. Reply-To: william.e.hopkins@att.com
  12. Organization: AT&T Bell Laboratories
  13. Lines: 40
  14.  
  15. In article <1992Jul31.173203.9886@nntpd.lkg.dec.com>, feldman@toklas.enet.dec.com (Gary Feldman) writes:
  16. > 
  17. > Dare I ask what the two [A++] papers were, and where are they available?
  18. > 
  19. >    Gary
  20.  
  21. The references to the papers and a means to obtain them is in the reply
  22. that was sent to my original request.
  23.  
  24. From: elkassas@eb.ele.tue.nl (sherif el kassas)
  25. Subject: Re: Found references to A++
  26. Date: Tue, 28 Jul 92 11:22:34 EET
  27.  
  28. You ( William E. Hopkins ) write:
  29. > 
  30. > I was able to find two references to what is known as Annotated C++ or A++
  31. > (``Annotated C++'' made electronic searches match on every reference to the
  32. > ARM, which is practically *all* C++ papers/books written since 1990...):
  33. > 
  34. > Cline, M., and Lea, D., ``Using Annotated C++,'' C++ at Work, Secaucus, NJ,
  35. > September 1990, p. 65.
  36. > 
  37. > Cline, M., and D. Lea, ``The Behavior of C++ Classes,'' Symposium on
  38. > Object-Oriented Programming Emphasizing Practical Applications (SOOPPA),
  39. > Marist College, Poughkeepsie, NY, September 1990, p. 81.
  40. > 
  41. > 
  42. > Unfortunately, those are not the easiest things to obtain (i.e., not in
  43. > AT&T corporate library).  Does anyone know of any other reference (I do
  44. > have librarians trying to get the above)?
  45.  
  46. I've ftp'd these papers some time ago (don't remember from where, thought).
  47. I could email them to you.. or you could simply ftp them from:
  48. ftp.eb.ele.tue.nl as pub/docs/c++/A++.tar.Z
  49.  
  50. Hope this is useful,
  51. Sherif
  52.  
  53. ------------------------------------------------------------------------------
  54. Bill Hopkins          AT&T Bell Laboratories       william.e.hopkins@att.com
  55.