start
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
start [2016/04/19 22:22] – jonathan | start [2017/01/05 22:34] (current) – jonathan | ||
---|---|---|---|
Line 1: | Line 1: | ||
~~NOTOC~~ | ~~NOTOC~~ | ||
- | ====== EECS3342 | + | ====== EECS3342 |
- | EECS3342 **Winter | + | EECS3342 **Winter |
+ | [[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 20: | 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.1461104550.txt.gz · Last modified: 2016/04/19 22:22 by jonathan