Hi Ron,

great post, very inspiring

i was wondering - have u heard of Design By Contract?

check it out:

http://www.eiffel.com/developers/presentations/dbc/partone/player.html?slide=

 
and it has also found it's way in into .net 4 in the name of spec#
havent used it yet but maybe after seeing this i will...