Theory-based analysis of cognitive support in software comprehension tools | IEEE Conference Publication | IEEE Xplore