Design by Contract Revisited in the Context of Scientific Data Analysis Workflows | IEEE Conference Publication | IEEE Xplore