T7

18 Março 2019, 11:30 • João Pedro Guerreiro Neto

A implementação de ADTs. Classes genéricas em Java e tipos wrapper. A escolha da API: Exceções vs Pré-condições e Mutabilidade vs Imutabilidade. Correspondência entre especificação e implementação através de mapas de refinamento;