Adding contracts to Java | IEEE Conference Publication | IEEE Xplore