Semi-automated software integration using logical specifications: An application to numerical simulation software | IEEE Conference Publication | IEEE Xplore