Sumários

ES-T19

8 maio 2017, 12:30 • António Rito Silva

Software Specification: Incomplete vs. Complete. Complete: Dafny.



Aula lecionada por Rui Maranhão.

ES-L11

8 maio 2017, 11:00 • David Duarte

Apoio e planeamento do  projeto.

ES-T19

8 maio 2017, 11:00 • António Rito Silva

Software Specification: Incomplete vs. Complete. Complete: Dafny.



Aula lecionada por Rui Maranhão.

ES-L11

8 maio 2017, 09:30 • David Duarte

Apoio e planeamento do projeto.

L10

4 maio 2017, 08:00 • Francisco Regateiro

Exercício de utilização de JMeter.