CT306 home page: formal methods
Our Monday afternoon lecture is changed from 5pm to 4pm, room IT204.
If for some reason you have not received your paper assignment by e-mail, contact me (
michaelDOTmcgettrickATnuigalwayDOTie
) immediately.
background information, references, tutorials, etc.
report on Formal Methods/Specification
30%
of marks will go for a term paper / report, assigned in October, due in November (see link above).
70%
of marks will go for the final exam at Christmas.
You are expected to attend all lectures and take down notes presented: Lectures are not available on the internet.
how to use LaTeX at NUI, Galway
how to typeset Z schema in LaTeX
Past exam papers:
Christmas 2007 [
.pdf
]
Christmas 2006 [
.pdf
]
Christmas 2005 [
.pdf
]
Michael Mc Gettrick