Últimos anúncios

Exercises for labs week 7 -- 11 Oct

5 outubro 2019, 00:08 • Jan Gunnar Cederquist

Solve the following exercises proposed in http://alloytools.org/tutorials/day-course/

Also, use Alloy to solve the exercises of Section 2 (Specification of Properties) from Exercise sheet W1-FOL available in "Lab exercises".

Exercises for labs week 30 Sept -- 4 Oct

27 setembro 2019, 10:22

Exercises for labs week 23 -- 27 Sept

20 setembro 2019, 11:10

Welcome, registration and labs

8 setembro 2019, 13:54

Corpo Docente

Jan Gunnar Cederquist

Responsável

jan.cederquist@tecnico.ulisboa.pt
João Fernando Ferreira

Responsável

joaofernandoferreira@tecnico.ulisboa.pt