Lambda the Ultimate

inactiveTopic Design By Contract
started 1/29/2001; 3:23:35 AM - last post 2/4/2001; 8:46:43 AM
Ehud Lamm - Design By Contract  blueArrow
1/29/2001; 3:23:35 AM (reads: 1056, responses: 3)
Design By Contract
This is not a new paper, but it is worth a read. My real question is about interesting applications/implementations of DbC in languages other the Eiffel. Any good links?


Suggest a good department for this message!


Posted to Software-Eng by Ehud Lamm on 1/29/01; 3:24:20 AM

Chris Rathman - Re: Design By Contract  blueArrow
1/29/2001; 6:54:58 AM (reads: 1115, responses: 0)
You might try www.designbycontract.com to pick up some links (though I see that there's a bunch of broken ones).

Suggest a good department for this message!
Perhaps something along the lines of quality, correctness, testing, debugging, etc...

Ehud Lamm - Re: Design By Contract  blueArrow
1/29/2001; 12:21:04 PM (reads: 1108, responses: 0)
I found this to be a better link, so if you are interested check it out.

One interesting link from there is about jContractor which uses reflection in much the same way as beans (or so it seems, I haven't studied this in detail).

Ehud Lamm - Re: Design By Contract  blueArrow
2/4/2001; 8:46:43 AM (reads: 1072, responses: 0)
This presentation is also interesting.