Contract-Driven Design of Scientific Data Analysis Workflows | IEEE Conference Publication | IEEE Xplore