Berón, MarioHenriques, Pedro RangelPereira, Maria JoãoUzal, Roberto2008-04-032008-04-032007Berón, Mário; Henriques, Pedro; Pereira, Maria João; Uzal, Roberto (2007). Técnicas de inspecção de programas para inter-relacionar as vistas comportamental e operacional. In EPIA - XIII Encontro Português de Inteligência Artificial. Guimarães.http://hdl.handle.net/10198/586A Compreensão de Programas (CP) é uma disciplina da Engenharia de Software destinada a criar modelos, métodos, técnicas e ferramentas, baseadas num processo da aprendizagem e num processo de engenharia, com o objectivo de alcançar um profundo conhecimento dos sistemas de software. O processo da aprendizagem implica a análise da forma como os programadores entendem os programas. Esta temática é bem descrita no contexto dos Modelos Cognitivos. O processo de engenharia necessita de ser abordado através de tópicos como: Métodos de Extracção da Informação, Administração da Informação e Visualizaçãoade Software. A pesquisa em todas estas áreas faz com que seja possível abordar a construção de boas ferramentas de CP. Além disso, esta tarefa dá a possivilidade de inter-relacionar o domínio do programa (componentes de software) e o domínio do problema (comportamento do sistema). Esta última actividade é um dos grandes desafios no contexto da compreensão de programas. Neste artigo, descrevemos as pesquisas e os resultados obtidos nos tópicos descritos nos parágrafos precedentes. Estas tarefas fazem parte de nossa tese de doutoramento denominada: Técnicas de Inspecção de Programas para Inter-Relacionar a Vista Operacional e a Vista Comportamental de Sistemas de Software.porModelos cognitivosExtracção da informaçãoVisualização de softwareconference objectEncontro Português de Inteligência Artificial