A software re-engineering method using domain models | IEEE Conference Publication | IEEE Xplore