Requirements Engineering for Scientific Computing: A Model-Based Approach | IEEE Conference Publication | IEEE Xplore