Design by Contract: Making Object-Oriented Programs that Work | IEEE Conference Publication | IEEE Xplore