Depuração automática de programas baseada em modelos: uma abordagem hierárquica para auxílio ao aprendizado de programação

Diagnóstico baseado em modelos (Model Based Diagnosis - MBD) é uma técnica de Inteligência Artificial usada para encontrar componentes falhos em dispositivos físicos. MBD também tem sido utilizado para auxiliar programadores experientes a encontrarem falhas em seus programas, sendo essa técnica...

Full description

Bibliographic Details
Main Author: Wellington Ricardo Pinheiro
Other Authors: Leliane Nunes de Barros
Language:Portuguese
Published: Universidade de São Paulo 2010
Subjects:
Online Access:http://www.teses.usp.br/teses/disponiveis/45/45134/tde-25052010-130554/