UC Engenharia de Software A3 - Definições