home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / object / 4246 < prev    next >
Encoding:
Internet Message Format  |  1992-11-17  |  938 b 

  1. Path: sparky!uunet!charon.amdahl.com!pacbell.com!decwrl!sun-barr!ames!agate!doc.ic.ac.uk!uknet!newcastle.ac.uk!des3cdt
  2. From: C.D.Turner@newcastle.ac.uk (Chris Turner)
  3. Newsgroups: comp.object
  4. Subject: Re: Testing (White or Black) OO Code (C++) ?
  5. Message-ID: <Bxt5Jr.JIK@newcastle.ac.uk>
  6. Date: 16 Nov 92 12:04:38 GMT
  7. References: <BxJxxu.3nn@newcastle.ac.uk>
  8. Organization: University of Newcastle upon Tyne, UK, NE1 7RU
  9. Lines: 14
  10. Nntp-Posting-Host: dur.easby
  11. X-Newsreader: TIN [version 1.1 PL6]
  12.  
  13. Accidentally I forgot one of my references.
  14.  
  15. Here it is:
  16.  
  17. "Modular Specification and Verification of Object-Oriented Programs"
  18. Gary T Leavens, IEEE Software July 1991 pp 72 - 80
  19.  
  20. It uses formal specifications and sub-typing for the verification of
  21. OO programs. I am reading it at the moment.
  22.  
  23. Chris Turner
  24.  
  25. Department of Computer Science University of Durham, DH1 3LE England
  26. Tel. +44 91 374 3657 FAX +44 374 3741 E-Mail C.D.Turner@durham.ac.uk
  27.