Sumários

Construção de tipos e de classes.

7 Novembro 2017, 13:00 • Alcides Fonseca

Construção de tipos e de classes. Exercícios capítulo VII: 1, 5, 6 abe, 8, 13.

Testes com o módulo QuickTest

6 Novembro 2017, 15:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Testes com o módulo QuickTest: construção e teste de propriedades, monitorização dos valores de teste. Sullivan, capítulo 11.

Módulos.

3 Novembro 2017, 13:30 • Alcides Fonseca

Módulos. Exercícios: capítulo VI, exercício 1, empty, singleton, intersection, union, member, partition, filter. Os alunos das TPs 6 e 7 devem tentar assistir a uma qualquer das outras TPs (horário).

Módulos

2 Novembro 2017, 17:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Exercícios: capítulo VI, exercício 1, empty, singleton, intersection, union, member, partition, filter.

Construção de tipos e de classes

2 Novembro 2017, 16:00 • Vasco Manuel Thudichum de Serpa Vasconcelos

Livro de texto: capítulo 8. Definição de novas classes de tipos. O exemplo dos cacifos com e sem expressão case-of.