João Carlos Silva - Doutoramento

Co-orientador: José Francisco Creissac Freitas de Campos

Data de inicio: 2005-03

Término:

Titulo: Métodos Formais e Engenharia Reversa aplicados à Manutenção e Usabilidade de Sistemas Interactivos

Abstract:

Este projecto de doutoramento tem como objectivo principal desenvolver metodologias e ferramentas baseadas em métodos formais para a engenharia reversa de sistemas interactivos. O trabalho que se propõe efectuar neste projecto enquadra-se no projecto IVY (Centro de Ciências e Tecnologias da Computação, Departamento de Informática, campus de Gualtar, 4710-057 Braga) cujo objectivo se prende com o desenvolvimento de um ambiente integrado para a modelação e análise de aspectos comportamentais de sistemas interactivos.