Managing software evolution with a formalized abstraction hierarchy | IEEE Conference Publication | IEEE Xplore