A contract is a piece of software | IEEE Journals & Magazine | IEEE Xplore