A comparison of Defensive Development and Design by Contract/sup TM/ | IEEE Conference Publication | IEEE Xplore