Abstract for the TRP course for the Master in Informatics Engineering at the University of Coimbra