Trabalho em VDM++ para MFES 2014/15