COMP2111: System Modelling & Design


February 6, 2012

How to install archive in Rodin:

  1. Go to File menu
  2. Choose Import
  3. Choose Existing Projects into Workspace, then Next. There will be a tendency to choose Archive; this is not correct.
  4. Select Select archive file
  5. This should display the project/projects that have been archived
  6. Select the projects you want to install
  7. Select Next

Important Copy projects into workspace should be selected.

Development EventB archive
SquareRoot SquareRoot.zip
SimpleBank (tut2) SimpleBank.zip
TrafficLights NewTrafficLights.zip
Supermarket (tut3)Supermarket.zip Supermarket-solutionV0.zipSupermarket-solutionV1.zip
Sorting Sorting.zip
tut 6 Tut6.zip