start
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
start [2016/12/21 20:06] – jonathan | start [2017/01/05 22:34] (current) – jonathan | ||
---|---|---|---|
Line 4: | Line 4: | ||
EECS3342 **Winter 2017** Specification and Refinement | EECS3342 **Winter 2017** Specification and Refinement | ||
- | < | + | [[https:// |
===== Getting Started ===== | ===== Getting Started ===== | ||
* EECS3342 System Specification and Refinement Lecture Times: | * EECS3342 System Specification and Refinement Lecture Times: | ||
- | * Class TR 11.30am, PSE321. | + | * Class TR 11.30am <hi>From 10 January and onwards, lectures are in Bergeron 213</ |
- | * **Scheduled Labs**: Every Tuesday 1pm to 2pm in LAS 1002A. Labs attendance is required and there will be required labs, and a quiz almost every week, and Labtests during some of the sessions. <hi> The first lab is due Tuesday Jan 12 by 1.30pm. | + | * **Scheduled Labs**: Every Tuesday 1pm to 2pm in LAS 1004. Labs attendance is required and there will be required labs, and a quiz almost every week, and Labtests during some of the sessions. <hi> The first lab is now available, and due Tuesday Jan 17 at 11am, and the first Quiz will be on Tuesday Jan 17th, during the Lab</ |
- | * In the Lab, we now use Rodin 3.2. | + | * In the Lab, we now use Rodin 3.2. See [[: |
- | * **Important**: | + | * **Important**: |
*See bottom** ↓** of this page for login with your Prism password. Slides are available from the SVN repository (see link in the sidebar, once you have logged on). | *See bottom** ↓** of this page for login with your Prism password. Slides are available from the SVN repository (see link in the sidebar, once you have logged on). | ||
Line 22: | Line 21: | ||
*Read the course outline regularly. | *Read the course outline regularly. | ||
- | * In the SVN → Docs, you will find the Rodin 2.8 Manual. Please familiarize yourselves with all the material in the manual, during the first week of classes. | + | * In the SVN → Docs, you will find the PDF for the [[https:// |
* Suggested Text: Jean-Raymond Abrial, //Modeling in Event-B: System and | * Suggested Text: Jean-Raymond Abrial, //Modeling in Event-B: System and |
start.1482350815.txt.gz · Last modified: 2016/12/21 20:06 by jonathan