COMP2111: System Modelling & Design
May 8, 2012
Organisation
| LIC | Ken Robinson | kenr | K17 208 | 9385 4045 |
| Tutor | Xiao Di Guan | xdg@cse.unsw.edu.au | ||
| Activity | Time(s) | Place | UNSW Grid | |
| Lecture | Mon 0900–1100 | Law Theatre G23 | K-FB-G23 | |
| Lecture | Wed 1200-1300 | Law Theatre G02 | K-FB-G02 | |
| Tutorial | Wed 1300-1400 | ASB 114 | K-E12-114 | |
| Tutorial | Wed 1400-1500 | ASB 114 | K-E12-114 | |
News and Information
- Assignment 2:
- Assignment 2 is now available
- Assignment 1:
- has been released and may be found on the Assignment page.
- Using Wiki:
- To use the wiki you should login with your cse login.
- Rodin:
- Please see Rodin page for most recent information on Rodin, the Event-B workbench.
- Textbook
- the most recent copy of the textbook is now available. See Event B link.
- EventB Summary:
- the most recent copy of the EventB summary, both full and refcard size, is now available.