Using a concept lattice of decomposition slices for program understanding and impact analysis | IEEE Journals & Magazine | IEEE Xplore