www.Usenet.com
Group Index
Comp Thread Archive from Usenet.com
Re: Old paper on DbC and ADTs
- __From__: Roger Browne
- __Subject__: Re: Old paper on DbC and ADTs
- __Date__: Mon, 10 Nov 2003 13:54:22 -0600
Daniel,
A couple of years ago I read a paper(s)...
> ... I don't remember their names or the author.
The paper is "Advanced Programming By Contract: Designing for
Correctness". James McKim presented this paper at the TOOLS PACIFIC 99
conference in Melbourne, Australia.
It is available online from James McKim's website:
http://www.rh.edu/~jcm/tools_pacific_99.pdf
I also recommend that you read "Extending a method of devising software
contracts" by Richard Mitchell and James McKim:
http://www.rh.edu/~jcm/observer.pdf
Regards,
Roger Browne
