Estudiants: Introducció a l'especificació, disseny i modelatge de sistemes