[RUCS HOME] [PREV] [UP] [NEXT]

Department of Computer Science

Formal Methods (2/CS/3T) - Z notation

Lecturer: Jonathan Bowen

URL: http://www.cs.reading.ac.uk/cs/people/jpb/teaching/z.html

Z Practicals

Practical sessions will be held on Thursdays (10am and 11am) and Fridays (2pm and 3pm) in G36. Times have been allocated as indicated in the email sent by David Corne.

Mark Green will be assisting with all practical sessions in general. Simeon Veloudis may help with some practical sessions or stand in for Mark if necessary.

The deadline for the production of your Autumn Term Z assessment is
Friday 3rd December 1999 (9th Week of term).

Please hand your practical report in at the Porter's Lodge on or before this date.

Note: you must also demonstrate your specification at your practical session during Week 7 (18/19th November) when you should demonstrate your Z specification using the XDVI viewer and run the ZTC type-checker on it to the demonstrator at your practical session (ideally with no errors!). Please ensure you are recorded on the list since some marks will be given for this demonstration and for successful type-checking of your specification.

Jonathan Bowen, J.P.Bowen@reading.ac.uk