Just read the Design by Contract article on Wikipedia… a good read!