Information about the Lab sessions
In this course Lab Sessions are meant to ask questions about the various
assignments (as listed below). You are expected to do most of the work outside
General information about the lab assignments
First of all, you are supposed to do each assignment in pairs. The results of your work should be submitted
to us, before the deadline, using the Submit system
. If you do not hand in your material in time (even if it
is only a few seconds after the deadline), then you incur at least a penalty of one whole point (out of ten).
Lab assignment 1
Deadline: 2 Oct 2006
Submit: rubik game
Your assignment will be to formalize the game Rubik's Illusion
The full text for assignment 1
To prepare yourself read the book Using Z (as specified in the course literature
) and come to the lecture on Monday Sep 18.
Lab assignment 2
Deadline: 16 Oct 2006
This exercise consists of three parts, all of which you have to do.
At the end of the exercise it is explained what files are expected. Hand in your results separated in three directories zipped together. Answer any questions in a simple -text only- readme file(s).
Lab assignment 3
Deadline: 30 Oct 2006
For the assignment on unit testing you need to install JUnit 4.1. Go to the
website, download the zip file, unpack it in your home directory,
and add the junit-4.1.jar to your class path. For example:
javac -cp .;.../junit-4.1.jar file.java
Unfortunately on the windows lab machines it seems impossible to convince javac to use junit 4.1 in stead of 3.7.
to log into a linux machine where it runs perfectly.
On Unix like systems you can also add the jar file to your standard class path.
- 11 Sep 2006