Program Inspection to inter-connect the Operational and Behavioral Views for Program Comprehension

is a discipline of Software En-gineering aimed at creating models, methods, techniques and tools, based on a learning process and engineering process, to help the engineer in get-ting a deeper knowledge about software systems. The learning process is concerned with the mental process followed by the programmer when he needs to understand programs. This topic is explained in the context of Cognitive Models. The engineering process includes the study of methods for: Informa-tion Extraction from Programs and Software/Data Visualization. The research in these areas allows to build Program Comprehension tools with quality. Moreover, it aids in to inter-connecting the problem do-main (system behavior) and program domain (software components). This is one of the biggest challenge in PC. In this paper, we present the background and results obtained in the top-ics described above during a Ph.D. thesis denominated: Program Inspec-tion to inter-connect the Operational and Behavioral Views for Program Comprehension