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,
--
+-----------------------------------------------------------------------------+
| Manuel Carro --- E.T.S. Ing. Informáticos -- U. Politécnica de Madrid (UPM) |
| Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain |
| Phone: +34-91-101-2202 ext 4140 |
