Teaching contract programming concepts to future software engineers | IEEE Conference Publication | IEEE Xplore