Course Module: Design By Contract | IEEE Conference Publication | IEEE Xplore