University of MinhoSchool of Engineering Departament of Computer Science
  Team Courses Post Grad Projects Publications   pt | en
 
 
 
 

João Carlos Silva - PhD

Supervisor: João Alexandre Saraiva

Co-supervisor: José Francisco Creissac Freitas de Campos

Start Date: 2005-03

End Date:

Title: 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.