Exercises for Labs Week 25-29 September 2017
Next week we will start with labs of Software Specification.
Students are advised to solve exercises, from Exercise sheet W1-FOL available in "Labs Scheduling and Exercises", before the class.
Section 1.1: 1a-1g, 3a, 3c, 3e, 3f (2).
Section 1.2: 1, 2 (3).
Section 1.3: 1, 3 (2,5).
Section 2: 1-13.
Exercises for Labs Week 2--6 October 2017
Students are advised to solve exercises, from
Exercise sheet W2-Spec available in "Labs Scheduling and Exercises", before the class.
Section 1.1, 1.2, and 1.3. (1.4).
Exercises in parenthesis are not mandatory but highly recommended.
Exercises for Labs Week 9--13 October 2017
Students are advised to solve exercises, from Exercise sheet W3-Correctness available in "Labs Scheduling and Exercises", before the class.
Available are also solutions to some exercises from the first lab (W1-FOL-sol) and a partial solution to the second lab (Zoo.zip, File->Import->Existing Projects into workspace).Exercises for Labs Week 16--20 October 2017 Students are advised to solve exercises from Exercise sheet W4-Refinemenys available in "Labs Scheduling and Exercises" before the class.
Exercises 1.1, 1.2 and 1.3.