A rigorous approach to support the maintenance of large portable software | IEEE Conference Publication | IEEE Xplore