COMP2111: System Modelling & Design
May 8, 2012
How to install archive in Rodin:
- Go to File menu
- Choose Import
- Choose Existing Projects into Workspace, then Next. There will be a tendency to choose Archive; this is not correct.
- Select Select archive file
- This should display the project/projects that have been archived
- Select the projects you want to install
- 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.zip | Supermarket-solutionV1.zip |
| Sorting | Sorting.zip | ||
| tut 6 | Tut6.zip | ||
| LiftController | LiftController.zip | ||