Contracts as a concept has been around for quite awhile - with much handwaving over exactly what it means (preconditions and postconditions are not assertions says Meyer, but in eiffel, they look very much like assertions to me).
I think its a black hole adding no more value than a comment. If you really want to prevent bugs in your software, write it so you can test easily and often. In many ways, unit tests have been the only practical technique of contract enforcement I have seen.
Flat View: This topic has 15 replies
on 2 pages