COMP2111: System Modelling & Design


May 22, 2012
Home Course OutlineNewsEvent B Wiki Lecture Notes/PodcastsTutorialsAssignments Abrial’s slides
Mark Distributions Rodin Forum Archive Submission

Updated:

Tutorials Directories [Picture]

Notes

  1. It is important to pursue questions from Tutorial 1, especially questions on concepts such as relations, partial and total functions.

TutSolution / Archive
tut1sol1 It is important to pursue questions from Tutorial 1, especially questions on concepts such as relations, partial and total functions
tut2SimpleBank.zip
tut3Supermarket.zip Supermarket-solution.zip
tut4Library-init.zip Library-expand1.zip
tut5 sol5Tut5.zip
tut6sol6 Tut6.zip
Sample exam paper