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