Páginas numeradas: I-VIII, 9-50 ; Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010