Dear all,
I've been asked a couple of times about the course exams.
In general, for those who don't pass a course based on homework / partial exams (for these courses where this is a possibility), there is one exam at the end of every semester (i.e., January or June, depending on the semester in which the course takes place) and, additionally, an extra opportunity in July. Those who did not pass because of academic fraud only can go to the July resit.
For CbC, this year's dates are:
- Wednesday July 11, 3pm-6pm.
- Friday July 4, 3pm-6pm.
In general the exams take place in the same room as the lectures. If there is any change, I will notify you.
As for the format, it is typically the statement of a problem to solve with Event-B and Rodin. It may be a new problem or a variation of previous examples. Plus, all typical programming examples can be replicated:
- Insert in a sorted linked list. - Removal of an element in a sorted linked list. - Determine the maximum / minimum of a function (without using the max / min builtin functions). - ...
I am attaching a file with suggested exercises you may want to tackle on your own to sharpen your skills.
Best,